ppedrot/issection-tactic
A Coq tactic checking whether a variable is a section variable or not
Public GitHub Catalog
Discovered Oct 6, 2026
ppedrot / exploit-plugin
An OCaml version of the LTac "exploit" tactic, used as a tutorial for writing Coq plugins
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.
#33528267GitHub System ID
ppedrotOrganization / User
PublicVisibility
ActiveCatalog Status
More from ppedrot
ppedrot/ocaml-mediawiki
Public repository.
ppedrot/zamel
A tool to compute phonetic evolution on a lexicon
ppedrot/vitef
A junkyard to stuff bits of quick-n'-dirty code