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).
Developer Profile
bchangizi
Discovered public repositories for bchangizi in the GitHub catalog.
bchangizi/ImageRecognitionProject-UNT
Public repository.
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.
bchangizi/Mp3Player
Tp3 Advanced Java
bchangizi/Sereal
Fast, binary serialization and deserialization oriented towards Perl data structures