Container Compendium
Search
Search
Dark mode
Light mode
Explorer
Home
❯
vault
❯
src
❯
Proofs
Folder: vault/src/Proofs
8 items under this folder.
Apr 07, 2026
Coproduct.idr
Apr 07, 2026
Equality.idr
Apr 07, 2026
Extensionality.idr
Apr 07, 2026
Girard.idr
Apr 07, 2026
Product.idr
Apr 07, 2026
Prop.idr
Apr 07, 2026
Sigma.idr
Apr 07, 2026
UIP.idr