7 kyu

Two definitions of Fibonacci words

31 of 68lambda-fairy

Description:

Loading description...
Theorem Proving
Fundamentals

Stats:

CreatedApr 30, 2020
PublishedMay 1, 2020
Warriors Trained247
Total Skips17
Total Code Submissions91
Total Times Completed68
Lean Completions31
Coq Completions42
Total Stars7
% of votes with a positive feedback rating96% of 12
Total "Very Satisfied" Votes11
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