ppedrot/kravanenn
A set of tools for Coq written in Rust
Public GitHub Catalog
Discovered Sep 25, 2026
ppedrot / ll-coq
Some Coq formalizations of Linear Logic
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.
#2796633GitHub 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.