7 kyu

Confusing syntax

29 of 54mhimmel

Description:

Loading description...
Theorem Proving
Fundamentals

More By Author:

Check out these other kata created by mhimmel

Stats:

CreatedJul 30, 2020
PublishedJul 30, 2020
Warriors Trained145
Total Skips10
Total Code Submissions86
Total Times Completed54
Lean Completions29
Coq Completions28
Total Stars1
% of votes with a positive feedback rating96% of 13
Total "Very Satisfied" Votes12
Total "Somewhat Satisfied" Votes1
Total "Not Satisfied" Votes0
Total Rank Assessments4
Average Assessed Rank
7 kyu
Highest Assessed Rank
7 kyu
Lowest Assessed Rank
7 kyu
Ad
Contributors
  • mhimmel Avatar
  • Madjosz Avatar
  • monadius Avatar
Ad