Loading Fancy bool #1: Bool as a higher inductive type
Beta
Loading Fancy bool #1: Bool as a higher inductive type
Beta
Fancy bool #1: Bool as a higher inductive type
11ice1000
-
Language
- Agda (Beta)
-
Language Version
Loading description...
Theorem Proving
Functional Programming