4 kyu

Introduction to bijection, cardinality, and infinite sets

48 of 151solitude

Description:

Loading description...
Theorem Proving
Set Theory
Fundamentals

Similar Kata:

Stats:

CreatedApr 3, 2019
PublishedApr 3, 2019
Warriors Trained335
Total Skips42
Total Code Submissions262
Total Times Completed151
Agda Completions48
Coq Completions76
Lean Completions35
Total Stars12
% of votes with a positive feedback rating89% of 37
Total "Very Satisfied" Votes30
Total "Somewhat Satisfied" Votes6
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