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
Repository Index
47,133 repositories indexed
25–26 of 26 · Most stars
Tree-aware text objects and operators for Markdown bullet lists in Neovim
- lua
- neovim
- neovim-plugin
- outliner