2 kyu

Cardinality of N and N x N

22 of 39solitude

Description:

Loading description...
Theorem Proving
Set Theory
Fundamentals

Stats:

CreatedApr 3, 2019
PublishedApr 3, 2019
Warriors Trained189
Total Skips17
Total Code Submissions65
Total Times Completed39
Agda Completions22
Coq Completions21
Total Stars12
% of votes with a positive feedback rating86% of 11
Total "Very Satisfied" Votes8
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
Ad
Contributors
  • solitude Avatar
  • monadius Avatar
Ad