5 kyu

Verified subsequence matching

28 of 41dramforever

Description:

Loading description...
Theorem Proving
Algorithms

Stats:

CreatedJul 1, 2019
PublishedJul 1, 2019
Warriors Trained100
Total Skips7
Total Code Submissions62
Total Times Completed41
Coq Completions28
Agda Completions14
Total Stars5
% of votes with a positive feedback rating91% of 11
Total "Very Satisfied" Votes9
Total "Somewhat Satisfied" Votes2
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
5 kyu
Highest Assessed Rank
5 kyu
Lowest Assessed Rank
6 kyu
Ad
Contributors
  • dramforever Avatar
  • Voile Avatar
  • monadius Avatar
Ad