C
Coq
Projects with this topic
-
A Formalization of Lambda Decision Diagram (LDD) in Coq.
Updated -
Lecture notes and study material for the Proof Assistant Coq
Updated
A Formalization of Lambda Decision Diagram (LDD) in Coq.
Lecture notes and study material for the Proof Assistant Coq