Projects in Awesome Lists tagged with arend-tutorial
A curated list of projects in awesome lists tagged with arend-tutorial .
https://github.com/shreckye/arend-tutorial-exercise-solutions
Arend Tutorial exercise solutions
arend arend-lang arend-tutorial
Last synced: 14 Mar 2026
