4 kyu

Program Verification #7: Longest Common Subsequence

12 of 14monadius


Loading description...
Theorem Proving


CreatedNov 28, 2019
PublishedNov 28, 2019
Warriors Trained83
Total Skips12
Total Code Submissions19
Total Times Completed14
Coq Completions12
Agda Completions3
Total Stars4
% of votes with a positive feedback rating100% of 3
Total "Very Satisfied" Votes3
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
4 kyu
Highest Assessed Rank
2 kyu
Lowest Assessed Rank
8 kyu