Stars
Coq library for tactics, basic definitions, sets, maps
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Memory sharing analyser for Rocq (Coq)
A syntax-highlighting pager for git, diff, grep, and blame output
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
A minimal package manager for Vim 8+ (and Neovim)
Vim keymap to type Unicode math symbols by their TeX names
A plugin to type Unicode chars in Vim, using their LaTeX names.