Popular repositories Loading
-
hott-knaster-tarski-experiment-dissertation
hott-knaster-tarski-experiment-dissertation PublicCompanion Coq script for the masters report titled "Inductive and Coinductive Types in Homotopy Type Theory. An Experiment on the Knaster-Tarski Construction".
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.