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

Loading description...

Theorem Proving
Functional Programming
Your output will be shown here