https://github.com/annenkov/trace-monoids
GitHub - annenkov/trace-monoids: Trace monoids in Cubical Agda ยท GitHub
Trace monoids in Cubical Agda. Contribute to annenkov/trace-monoids development by creating an account on GitHub.
githubannenkovtracemonoidscubical