ppedrot/kravanenn
A set of tools for Coq written in Rust
Public GitHub Catalog
Discovered Sep 25, 2026
ppedrot / sat-coq
A reflexive sat & tauto solver in Coq.
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.
#3035002GitHub System ID
ppedrotOrganization / User
PublicVisibility
ActiveCatalog Status
More from ppedrot
ppedrot/exploit-plugin
An OCaml version of the LTac "exploit" tactic, used as a tutorial for writing Coq plugins
ppedrot/issection-tactic
A Coq tactic checking whether a variable is a section variable or not
ppedrot/ocaml-mediawiki
Public repository.