Explore projects

N

Pierre Letouzey / natded
Creative Commons Zero v1.0 Universal

Coq encoding of Natural Deduction, flavour of Predicate Calculus, up to completeness theorem

0

Updated Jun 12, 2024

0 0 0 0

Updated Jun 12, 2024
M

Quentin Aristote / Monoidal transducers minimization

0

Updated Oct 02, 2024

0 0 0

Updated Oct 02, 2024
A

Sylvain Schmitz / automata-team
CI/CD Catalog project

0

Updated Jan 29, 2024

0 0

Updated Jan 29, 2024
W

Quentin Aristote / Weak distributive laws over stably compact spaces

0

Updated May 13, 2024

0 0 0 0

Updated May 13, 2024
W

Quentin Aristote / Weak distributive laws over powerset monads in categories of algebras

0

Updated Oct 07, 2024

0

Updated Oct 07, 2024