6 kyu

Conversion to Negation Normal Form

Description:

Loading description...
Logic
Theorem Proving

Stats:

CreatedSep 8, 2022
PublishedSep 8, 2022
Warriors Trained36
Total Skips1
Total Code Submissions30
Total Times Completed19
Coq Completions19
Total Stars3
% of votes with a positive feedback rating100% of 7
Total "Very Satisfied" Votes7
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments6
Average Assessed Rank
6 kyu
Highest Assessed Rank
5 kyu
Lowest Assessed Rank
6 kyu
Ad
Contributors
  • malcolmsharpe Avatar
  • monadius Avatar
Ad