View on GitHub

Andromeda 1

Type theory with equality reflection

Examples

We have put some examples in the examples subdirectory.