4 kyu

Introduction to bijection, cardinality, and infinite sets

8288% of 2633 of 102solitude
Loading description...
Fundamentals
Theorem Proving
Set Theory
Mathematical Logic
Mathematics
Algorithms
Sets

These users have contributed to this kata:

Stats:

CreatedApr 3, 2019
PublishedApr 3, 2019
Warriors Trained251
Total Skips25
Total Code Submissions185
Total Times Completed102
Agda Completions33
Coq Completions52
Lean Completions22
Total Stars8
% of votes with a positive feedback rating88% of 26
Total "Very Satisfied" Votes21
Total "Somewhat Satisfied" Votes4
Total "Not Satisfied" Votes1
Total Rank Assessments3
Average Assessed Rank
3 kyu
Highest Assessed Rank
2 kyu
Lowest Assessed Rank
6 kyu