4 kyu

Introduction to bijection, cardinality, and infinite sets

48 of 152solitude

Description:

Loading description...
Theorem Proving
Set Theory
Fundamentals

Similar Kata:

Stats:

CreatedApr 3, 2019
PublishedApr 3, 2019
Warriors Trained338
Total Skips43
Total Code Submissions263
Total Times Completed152
Agda Completions48
Coq Completions77
Lean Completions35
Total Stars12
% 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