Home
Projects
AeneasVerif
kraken
AeneasVerif/kraken
x64 semantics in Lean
32
stars
10
forks
32
watchers
Lean
MIT License
View on GitHub
1 Open Issue Need Help
Last updated: Aug 8, 2026
Open Issues Need Help
View All on GitHub
Upstream some of our lemmas to Lean
about 4 hours ago
good first issue
AeneasVerif/kraken
32
x64 semantics in Lean
Lean
