yoshihiro503/coq_propositional_logic
Definition of minimum normalform on propositional logic
Public GitHub Catalog
Discovered Sep 25, 2026
yoshihiro503 / hello_scalacheck
first scalacheck project
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.
#2816449GitHub System ID
yoshihiro503Organization / User
PublicVisibility
ActiveCatalog Status
More from yoshihiro503
yoshihiro503/coqdoc_ja_sample
A sample project generating a Japanese coqdoc PDF document
yoshihiro503/ocamlAda
Ada95 parser in ocaml
yoshihiro503/coqio
Coq IO