2 kyu

Cardinality of N and N x N

19 of 32solitude


Loading description...
Theorem Proving
Set Theory


CreatedApr 3, 2019
PublishedApr 3, 2019
Warriors Trained171
Total Skips12
Total Code Submissions56
Total Times Completed32
Agda Completions19
Coq Completions16
Total Stars9
% of votes with a positive feedback rating81% of 8
Total "Very Satisfied" Votes5
Total "Somewhat Satisfied" Votes3
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
1 kyu
Highest Assessed Rank
1 kyu
Lowest Assessed Rank
2 kyu