anlun / direct-curry-howard Goto Github PK
View Code? Open in Web Editor NEWThis project forked from dboulytchev/direct-curry-howard
A set of samples to utilize Curry-Howard isomorphism in a direct manner (in Coq)
License: GNU General Public License v2.0