Efficient Fibonacci: proof and extraction

10100% of 12lasydler
Loading description...
Theorem Proving


CreatedJan 27, 2020
PublishedFeb 1, 2020
Warriors Trained4
Total Skips0
Total Code Submissions4
Total Times Completed2
Coq Completions2
Total Stars1
% of votes with a positive feedback rating100% of 1
Total "Very Satisfied" Votes1
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments1
Average Assessed Rank
4 kyu
Highest Assessed Rank
4 kyu
Lowest Assessed Rank
4 kyu