bchangizi/proofprocess
ProofProcess framework to capture and analyse expert's interactive proof process. Prototype implementations for Isabelle (via Isabelle/Eclipse) and Z/EVES (via CZT/ZEves).
Public GitHub Catalog
Discovered Sep 29, 2026
bchangizi / ImageRecognitionProject-UNT
Public repository discovered through GitHub real-time crawl.
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.
#14394934GitHub System ID
bchangiziOrganization / User
PublicVisibility
ActiveCatalog Status
More from bchangizi
bchangizi/texmaker-3.3.3
A repo to fix some of Texmakers Bugs
bchangizi/CMakeRPathIllustration
Small project illustrating how RPath features can be used within CMake
bchangizi/cmaker
Public repository.