6 kyu

Is nat equal to bool?

68 of 97dramforever

Description:

Loading description...
Theorem Proving
Logic
Fundamentals

Similar Kata:

More By Author:

Check out these other kata created by dramforever

Stats:

CreatedJan 2, 2020
PublishedJan 2, 2020
Warriors Trained313
Total Skips22
Total Code Submissions160
Total Times Completed97
Coq Completions68
Agda Completions18
Lean Completions17
Total Stars6
% of votes with a positive feedback rating100% of 16
Total "Very Satisfied" Votes16
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
6 kyu
Highest Assessed Rank
6 kyu
Lowest Assessed Rank
6 kyu
Ad
Contributors
  • dramforever Avatar
  • donaldsebleung Avatar
  • monadius Avatar
  • eric-wieser Avatar
Ad