3 ms·
The name reminds me of the Calculus of Constructions [1], the type theory underlying proof assistant Coq. [1] https://en.wikipedia.org/wiki/Calculus_of_constru
by tromp 3y ago
The name reminds me of the Calculus of Constructions [1], the type theory underlying proof assistant Coq.
[1] https://en.wikipedia.org/wiki/Calculus_of_constructions https://en.wikipedia.org/wiki/Calculus_of_constructions