7 kyu

Verified binary tree inversion

Loading description...
Theorem Proving

These users have contributed to this kata:

Similar Kata:


CreatedJun 4, 2021
PublishedJun 4, 2021
Warriors Trained30
Total Skips0
Total Code Submissions10
Total Times Completed11
Coq Completions11
Total Stars0
% of votes with a positive feedback rating83% of 3
Total "Very Satisfied" Votes2
Total "Somewhat Satisfied" Votes1
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
7 kyu
Highest Assessed Rank
7 kyu
Lowest Assessed Rank
7 kyu