search

maxsnew / cubical-categorical-logic

Extensions to the cubical stdlib category theory for categorical logic/type theory
MIT License
26 stars 5 forks source link

CI: Ignoring Paths to Documentation #33

Closed GenericMonkey closed 1 year ago