ppedrot/exploit-plugin
An OCaml version of the LTac "exploit" tactic, used as a tutorial for writing Coq plugins
Public GitHub Catalog
Discovered Sep 26, 2026
ppedrot / lsh-generator
Generate titles of conferences in philosophy!
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#6906380GitHub 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