Cubical Experiments

Anything and everything with Cubical Agda!

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
.gitignore		.gitignore
1093890707.pdf		1093890707.pdf
CEKMachines.lagda.md		CEKMachines.lagda.md
Integers.lagda.md		Integers.lagda.md
PropositionalLogic.agda		PropositionalLogic.agda
README.md		README.md
SearchAlgebra.agda		SearchAlgebra.agda
Streams.lagda.md		Streams.lagda.md
TemporalLogic.agda		TemporalLogic.agda

Provide feedback