JetBrains / Arend

The Arend Proof Assistant

Home Page:https://arend-lang.github.io/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

JetBrains/Arend Stargazers