jirkamarsik/lambda-mu
Procrastinating with Agda: a formalization of System L
GitHub repository with 5 stars and 0 forks.
Language: Agda
Latest metric snapshot
2026-07-15: 5 stars and 0 forks.
Procrastinating with Agda: a formalization of System L
GitHub repository with 5 stars and 0 forks.
Language: Agda
2026-07-15: 5 stars and 0 forks.