This is an archived version pinned as of the submission of my master's thesis. An up-to-date version may be found online.
Polytopes
Files in the polytopes folder
module polytopes where open import polytopes.abstract-polytopes public
This is an archived version pinned as of the submission of my master's thesis. An up-to-date version may be found online.
module polytopes where open import polytopes.abstract-polytopes public