ppedrot/exploit-plugin
An OCaml version of the LTac "exploit" tactic, used as a tutorial for writing Coq plugins
Public GitHub Catalog
Discovered Oct 7, 2026
ppedrot / kravanenn
A set of tools for Coq written in Rust
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#36025421GitHub System ID
ppedrotOrganization / User
PublicVisibility
ActiveCatalog Status
More from ppedrot
ppedrot/issection-tactic
A Coq tactic checking whether a variable is a section variable or not
ppedrot/ocaml-mediawiki
Public repository.
ppedrot/zamel
A tool to compute phonetic evolution on a lexicon