_tactics/dependently-typed-lambda-calculus archive
- Download repository
- This project did not have a public wiki at the time of archival.
- Download repository metadata (issues, pull-requests, comments, ...)
- This project did not have inline static (issue attachments, inline images) at the time of archival.
- This project did not have project downloads at the time of archival.