4 kyu

Introduction to bijection, cardinality, and infinite sets

49 of 156solitude

Description:

Loading description...
Theorem Proving
Set Theory
Fundamentals

Similar Kata:

Stats:

CreatedApr 3, 2019
PublishedApr 3, 2019
Warriors Trained347
Total Skips43
Total Code Submissions276
Total Times Completed156
Agda Completions49
Coq Completions80
Lean Completions35
Total Stars13
% of votes with a positive feedback rating88% of 38
Total "Very Satisfied" Votes30
Total "Somewhat Satisfied" Votes7
Total "Not Satisfied" Votes1
Total Rank Assessments3
Average Assessed Rank
3 kyu
Highest Assessed Rank
2 kyu
Lowest Assessed Rank
6 kyu
Ad
Contributors
  • solitude Avatar
  • donaldsebleung Avatar
  • kazk Avatar
  • shingtaklam1324 Avatar
  • monadius Avatar
  • user8436785 Avatar
Ad