mortberg/martin-lof
papers of Per Martin Löf
BNF Converter
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
papers of Per Martin Löf
Homotopy type theory
Haskell library of algebraic topology