Kata Training

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

7donaldsebleung

Language

Coq
Language Version

- VIM
- EMACS

Loading description...

Theorem Proving

Algorithms

Your output will be shown here

Solution

Sample Tests

Test Attempt Submit