Beta

Implementing a Verified Evaluator for the Untyped Lambda Calculus

Description:

Loading description...
Theorem Proving
Algorithms

Similar Kata:

Stats:

CreatedFeb 7, 2020
PublishedFeb 7, 2020
Warriors Trained29
Total Skips0
Total Code Submissions25
Total Times Completed8
Coq Completions8
Total Stars2
% of votes with a positive feedback rating100% of 4
Total "Very Satisfied" Votes4
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments4
Average Assessed Rank
5 kyu
Highest Assessed Rank
5 kyu
Lowest Assessed Rank
6 kyu
Ad
Contributors
  • donaldsebleung Avatar
Ad