arend-lang
Popular repositories Loading
-
-
arend-contrib
arend-contrib PublicA community driven, semi-official, semi-standard library for Arend
Java 8
-
-
Repositories
Showing 6 of 6 repositories
- Arend Public
arend-lang/Arend’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…