Recent Posts

Arend 1.11.0 released

This release focuses primarily on internal enhancements aimed at improving overall stability.

New IntelliJ Arend tutorial

There is a new tutorial on interactive theorem proving with IntelliJ Arend. Check it out to learn about the features of IntelliJ Arend that speed-up theorem...