Arend 1.0.0 released

The first version of Arend is released!

It implements the following features:

The IntelliJ Arend plugin implements the following features:

2019

Arend 1.1.0 released

Arend now has proof irrelevant universe of proposition and the plugin can run the typechecker automatically in background.

Back to Top ↑