Loading Implementing a Verified Evaluator for the Untyped Lambda Calculus
Beta
Loading Implementing a Verified Evaluator for the Untyped Lambda Calculus
Beta
Implementing a Verified Evaluator for the Untyped Lambda Calculus
-
Language
- Coq
-
Language Version
Loading description...
Theorem Proving
Algorithms