5 kyu

Verified subsequence matching

30 of 43dramforever

Description:

Loading description...
Theorem Proving
Algorithms

Stats:

CreatedJul 1, 2019
PublishedJul 1, 2019
Warriors Trained103
Total Skips7
Total Code Submissions64
Total Times Completed43
Coq Completions30
Agda Completions14
Total Stars5
% of votes with a positive feedback rating88% of 12
Total "Very Satisfied" Votes9
Total "Somewhat Satisfied" Votes3
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