Verified compilation prototype: generation of Lean verification statements#3344
Draft
lukaszcz wants to merge 26 commits intomainfrom verified-compilation
+2,833-1,182
Commits
Commits on Feb 21, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 24, 2025
Commits on Feb 25, 2025
- committed
Commits on Feb 26, 2025
- committed
- committed
- committed