amutake/a-pi
Formalization of Aπ-calculus in Coq
Public GitHub Catalog
Discovered Sep 26, 2026
amutake / amutake.github.io
amutake's github pages
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.
#5669865GitHub System ID
amutakeOrganization / User
PublicVisibility
ActiveCatalog Status
More from amutake
amutake/wercker-step-idobata-notify
Public repository.
amutake/jype
Data Types for JSON
amutake/Peggy
The Parser Generator for Haskell