NathanielB123/TT
Mechanised metatheory experiments
GitHub repository with 5 stars and 0 forks.
Language: Agda
Latest metric snapshot
2026-06-05: 5 stars and 0 forks.
Mechanised metatheory experiments
GitHub repository with 5 stars and 0 forks.
Language: Agda
2026-06-05: 5 stars and 0 forks.