arend

The Arend Proof Assistant

Arend plugin for IntelliJ IDEA

Source code & exercises in Arend's documentation

For GitHub linguist's syntax highlighting

Resources for Arend Theorem Prover.

Gödels Incompleteness Theorem Proven in Arend

Unofficial syntax highlighting for the Arend Language for the Kakoune editor

Arend Tutorial exercise solutions

#学习与技能提升#Solved exercises of the Arend tutorial (https://arend-lang.github.io/documentation/tutorial)

Playing around with Arend