Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
Z80Emu
Z80 Emulator in Lean with verified program demos
Lean
Emerging
GitHub
Stars
3
Forks
—
Contributors
1
Last push
2mo ago
Recent commits
Latest commits.
Create README.md
fc531c4
Alex Meiburg
2mo ago
Aristotle output
c4d344e
Alex Meiburg
2mo ago
Top contributors
Builders behind this project.
Timeroot
2 commits
