View on GitHub

Andromeda

Type theory with equality reflection

Examples

We have put some examples in the examples subdirectory.