A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
Repository Index
47,133 repositories indexed
49–50 of 50 · Most stars
Assembler/Emulator for Fictional YOTROC Architecture
- ada
- gtkada
47,133 repositories indexed
49–50 of 50 · Most stars
A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
Assembler/Emulator for Fictional YOTROC Architecture