Beta

Cardinality of N and N x N

20100% of 23 of 5solitude
Details
Solutions
Discourse (2)
  • |
  • Share this kata:
Loading description...
Fundamentals
Theorem Proving
Set Theory
Mathematical Logic
Mathematics
Algorithms
Sets

Other Kata Authored By solitude:

10100% of 24solitude
Status:Testing & feedback needed
Estimated Rank:
3 kyu
00100% of 34solitude
Status:Ranking feedback needed
Estimated Rank:
5 kyu
10100% of 24solitude
Status:Testing & feedback needed
Estimated Rank:
3 kyu
10100% of 65solitude
Status:Ranking feedback needed
Estimated Rank:
1 kyu

Stats:

CreatedApr 3, 2019
PublishedApr 3, 2019
Warriors Trained18
Total Skips0
Total Code Submissions8
Total Times Completed5
Agda Completions3
Coq Completions5
Total Stars2
% of votes with a positive feedback rating100% of 2
Total "Very Satisfied" Votes2
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments2
Average Assessed Rank
1 kyu
Highest Assessed Rank
1 kyu
Lowest Assessed Rank
2 kyu