AeneasVerif

AeneasVerif/kraken

x64 semantics in Lean

1 good first / help-wanted issue · Lean · last activity Aug 8, 2026

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 2 months ago
good first issue
AeneasVerif/kraken
32

x64 semantics in Lean

Lean