Arend 1.1.0 released
Arend now has proof irrelevant universe of proposition and the plugin can run the typechecker automatically in background.
Arend now has proof irrelevant universe of proposition and the plugin can run the typechecker automatically in background.
The first version of Arend is released!