4 kyu

Evaluating the type safety of a toy language

12100% of 613 of 17donaldsebleung
Loading description...
Theorem Proving

These users have contributed to this kata:

Similar Kata:

Status:Waiting for issues to be resolved
Estimated Rank:
2 kyu
1065% of 1017S_OK
Status:Testing & feedback needed
Estimated Rank:
8 kyu
Status:Testing & feedback needed
Estimated Rank:
5 kyu


CreatedJun 9, 2019
PublishedJun 9, 2019
Warriors Trained59
Total Skips1
Total Code Submissions32
Total Times Completed17
Coq Completions13
Lean Completions5
Total Stars1
% of votes with a positive feedback rating100% of 6
Total "Very Satisfied" Votes6
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
4 kyu
Highest Assessed Rank
4 kyu
Lowest Assessed Rank
4 kyu