A modern commutative diagram editor for the web.
- commutative-diagrams
- category-theory
- editor
- tikz
Repository Index
73,362 visible repositories in the index
1–4 of 4 · Most stars
Efficient immutable updates, about 3-6x faster than Immer.
- immer
- immutability
- immutable
- reducer
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library