Skip to content

Navigation Menu

Explore
For
- Enterprise
- Teams
- Startups
- Education
By Solution
Resources
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

CakeML / cakeml Public

Notifications
Fork 81
Star 919

Code
Issues 190
Pull requests 3
Actions
Projects
Wiki
Security
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Projects
Wiki
Security
Insights

Releases: CakeML/cakeml

Releases · CakeML/cakeml

CakeML v2274

24 Jan 15:52

xrchz

Compare

Choose a tag to compare

CakeML v2274 Latest

Latest

Corresponding HOL commit: HOL-Theorem-Prover/HOL@4103c90

Assets 4

All reactions

CakeML 2233

11 Nov 19:04

myreen

Compare

Choose a tag to compare

CakeML 2233

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

Assets 4

All reactions

CakeML 2184

14 Aug 09:25

myreen

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Learn about vigilant mode.

Compare

Choose a tag to compare

CakeML 2184

Corresponding HOL commit: HOL-Theorem-Prover/HOL@86b636c

Assets 4

All reactions

CakeML 2157

24 Jun 01:28

myreen

Compare

Choose a tag to compare

CakeML 2157

Corresponding HOL commit: HOL-Theorem-Prover/HOL@643c7c5

Assets 4

All reactions

CakeML 2117

25 Mar 23:01

xrchz

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Learn about vigilant mode.

Compare

Choose a tag to compare

CakeML 2117

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

Assets 4

All reactions

CakeML 2108

24 Mar 06:55

xrchz

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Learn about vigilant mode.

Compare

Choose a tag to compare

CakeML 2108

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

Assets 4

All reactions

CakeML 2076

22 Dec 17:24

xrchz

Compare

Choose a tag to compare

CakeML 2076

Corresponding HOL commit: HOL-Theorem-Prover/HOL@2b0247f

Assets 4

All reactions

CakeML 2013

14 Oct 09:34

xrchz

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Learn about vigilant mode.

Compare

Choose a tag to compare

CakeML 2013

Corresponding HOL commit: HOL-Theorem-Prover/HOL@52406bd

Assets 4

All reactions

CakeML 1985

18 Sep 19:58

xrchz

Compare

Choose a tag to compare

CakeML 1985

Corresponding HOL commit: HOL-Theorem-Prover/HOL@6d032bf

Assets 4

All reactions

CakeML 1969

21 Aug 13:20

xrchz

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Learn about vigilant mode.

Compare

Choose a tag to compare

CakeML 1969

Corresponding HOL commit: HOL-Theorem-Prover/HOL@2760fe9

Assets 4

All reactions

Previous 1 2 3 4 5 Next

Previous Next

Footer

© 2024 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.