1 kyu

Two paths in the forest

Description:

Loading description...
Theorem Proving
Fundamentals

More By Author:

Check out these other kata created by lwoo1999

Stats:

CreatedMar 16, 2019
PublishedMar 16, 2019
Warriors Trained259
Total Skips22
Total Code Submissions67
Total Times Completed33
Agda Completions33
Total Stars9
% of votes with a positive feedback rating96% of 12
Total "Very Satisfied" Votes11
Total "Somewhat Satisfied" Votes1
Total "Not Satisfied" Votes0
Total Rank Assessments4
Average Assessed Rank
1 kyu
Highest Assessed Rank
1 kyu
Lowest Assessed Rank
2 kyu
Ad
Contributors
  • lwoo1999 Avatar
  • monadius Avatar
Ad