7 kyu

Two definitions of Fibonacci words

31 of 66lambda-fairy

Description:

Loading description...
Theorem Proving
Fundamentals

Stats:

CreatedApr 30, 2020
PublishedMay 1, 2020
Warriors Trained231
Total Skips16
Total Code Submissions87
Total Times Completed66
Lean Completions31
Coq Completions40
Total Stars6
% of votes with a positive feedback rating95% of 11
Total "Very Satisfied" Votes10
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
Ad
Contributors
  • lambda-fairy Avatar
  • donaldsebleung Avatar
  • Madjosz Avatar
  • monadius Avatar
Ad