arend-lang/arend-contrib
A community driven, semi-official, semi-standard library for Arend
JavaApache-2.0
No issues in this repository yet.
A community driven, semi-official, semi-standard library for Arend
JavaApache-2.0
No issues in this repository yet.