Something went wrong. Try again.
Verified pixel compiler for TempleOS in Isabelle/HOL
Something went wrong. Try again.
Files
james.dad.town · Verified signature Signed by james.dad.town SHA256:gsLvmabQ/0T7sWasAAxGw7iZQchjXD/ekJfrqGIHaZk Click to copy SHA
james.dad.town · Verified signature Signed by james.dad.town SHA256:gsLvmabQ/0T7sWasAAxGw7iZQchjXD/ekJfrqGIHaZk Click to copy SHA
james.dad.town · Verified signature Signed by james.dad.town SHA256:gsLvmabQ/0T7sWasAAxGw7iZQchjXD/ekJfrqGIHaZk Click to copy SHA
- Python 93%
- C 5%
- Makefile 2%