JetBrains / arend-lib

80Updated 3 weeks ago

Alternatives and similar repositories for arend-lib:

Users that are interested in arend-lib are comparing it to the libraries listed below