Skip to content

Tags: HOL-Theorem-Prover/HOL

Tags

trindemossen-1

Toggle trindemossen-1's commit message 
Fix typo in the Description

kananaskis-14

Toggle kananaskis-14's commit message 
Kananaskis-14 release

kananaskis-13

Toggle kananaskis-13's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
mn200 Michael Norrish
GPG key ID: B8CCC81AD436030E
Expired
Learn about vigilant mode 
Official Kanananaskis-13 release

CakeML-863

Toggle CakeML-863's commit message 
Get formal-languages/regular to pass src tests again

CakeML_v2

Toggle CakeML_v2's commit message 
CakeML Version 2

CakeML_v1

Toggle CakeML_v1's commit message 
CakeML Version 1

kananaskis-12

Toggle kananaskis-12's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
mn200 Michael Norrish
GPG key ID: B8CCC81AD436030E
Expired
Learn about vigilant mode 
Kananaskis-12 release

kananaskis-11

Toggle kananaskis-11's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
mn200 Michael Norrish
GPG key ID: B8CCC81AD436030E
Expired
Learn about vigilant mode 
Kananaskis 11 release

kananaskis-10

Toggle kananaskis-10's commit message

Verified

This tag was signed with the committer’s verified signature.
mn200 Michael Norrish
GPG key ID: 628643A7A3DD1D91
Learn about vigilant mode 
Released as Kananaskis-10.

kananaskis-9

Toggle kananaskis-9's commit message

Verified

This tag was signed with the committer’s verified signature.
mn200 Michael Norrish
GPG key ID: 628643A7A3DD1D91
Learn about vigilant mode 
Released as kananaskis-9.