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