ptroja/pp-contrib
pp-contrib is a collection of contributed examples and tools for ProofPower users.
Public GitHub Catalog
Discovered Sep 24, 2026
ptroja / libcan
temporary repository for existing ETHZ-ASL CAN library
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.
#1135674GitHub System ID
ptrojaOrganization / User
PublicVisibility
ActiveCatalog Status
More from ptroja
ptroja/pp
ProofPower is an open source suite of tools for specification and proof in HOL and Z.
ptroja/HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
ptroja/BToolkit
The BToolkit, a toolkit supporting software development with the B-method.