Loading Drinker paradox
6 kyu
Loading Drinker paradox
6 kyu
Drinker paradox
30 of 119yuxuanchiadm
-
Language
- Agda (Beta)
- Coq
- Lean
-
Language Version
Loading description...
Fundamentals
Theorem Proving
Mathematics