Loading SKI-ing in Chicken's style 2: Church arithmetic and recursive functions
Beta
Loading SKI-ing in Chicken's style 2: Church arithmetic and recursive functions
Beta
SKI-ing in Chicken's style 2: Church arithmetic and recursive functions
-
Language
- Coq
-
Language Version
Loading description...
Fundamentals
Theorem Proving