quiver
A modern commutative diagram editor for the web.
JavaScript2288mit
3 months ago
category-theorycommutativecommutative-diagrams
aac-tactics
Coq plugin providing tactics for rewriting universally quantified equations, mod
OCaml29other
7 months ago
coqcoq-cicoq-platform
Car-Cast
Car Cast is a simple Android podcast downloader and player. Optimized for use
Java57
7 months ago
quiver
A modern commutative diagram editor for the web.
JavaScript2288mit
3 months ago
category-theorycommutativecommutative-diagrams
aac-tactics
Coq plugin providing tactics for rewriting universally quantified equations, mod
OCaml29other
7 months ago
coqcoq-cicoq-platform
Car-Cast
Car Cast is a simple Android podcast downloader and player. Optimized for use
Java57
7 months ago