Skip to content

CakeML v2747

Choose a tag to compare

View all tags
@xrchz xrchz released this 13 Dec 18:58
v2747
bad2940
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Corresponding HOL commit: HOL-Theorem-Prover/HOL@8140422

Assets 5
Loading