arend

There are 10 repositories under arend topic.

JetBrains/Arend
The Arend Proof Assistant
Language:Java688 13 25333
JetBrains/intellij-arend
Arend plugin for IntelliJ IDEA
Language:Kotlin90 10 37212
arend-lang/tutorial-code
Source code & exercises in Arend's documentation
21 5 169
DmytroMitin/arend-exercises
3 2 00
arend-lang/arend-tmbundle
For GitHub linguist's syntax highlighting
2 3 10
bashforgo/learning-arend
Solved exercises of the Arend tutorial (https://arend-lang.github.io/documentation/tutorial)
0 2 00
ShreckYe/arend-tutorial-exercise-solutions
Arend Tutorial exercise solutions
3 0
stoand/kakoune-arend
Unofficial syntax highlighting for the Arend Language for the Kakoune editor
2 0
TimothyEarley/arend-sandbox
Playing around with Arend
2 0
weisi/awesome-arend
Resources for Arend Theorem Prover.
2 1