Skip to content

No labels!

There aren’t any labels for this repository quite yet.

axioms
axioms
bugfix
bugfix
build system
build system
category theory
category theory
compiler warning
compiler warning
coq-platform
coq-platform
coqide
coqide
cubical
cubical
dependency graphs
dependency graphs
documentation
documentation
draft
draft
exercises
exercises
feature request
feature request
feature
feature
github_actions
github_actions
Pull requests that update Github_actions code
good first issue
good first issue
group theory
group theory
hottclasses
hottclasses
install
install
LEM
LEM
library organization
library organization