All Git Users → arend-lang

1 open source projects by arend-lang

[ Open user page on Github ]

1. tutorial-code

Source code & exercises in Arend's documentation

✭ 18

tutorial-code tutorial-exercises arend

1-1 of 1 user projects