←
Back to Open Source
🐙 GitHub Detail
K
AeneasVerif/kraken
By AeneasVerif
x64 semantics in Lean
GitHub
Lean
MIT License
Updated 11 Jun 2026
Live Snapshot
⭐
Stars
14
🍴
Forks
6
📄
License
MIT License
🧩
Type
Lean
📘
About this open-source project
Live information fetched from GitHub.
x64 semantics in Lean
🌿
Default Branch
main
🐞
Open Issues
24
👀
Watchers
14