Skip to content

Releases: snu-sf/Ordinal

Ordinal v0.5.4

17 Dec 16:01
@gilhur gilhur
v0.5.4
0c56f67
Compare
Choose a tag to compare
Ordinal v0.5.4 Latest
Latest

Support Coq 8.20

Assets 2
Loading

Ordinal v0.5.3

13 Oct 03:35
@hilyun07 hilyun07
v0.5.3
dab07d7
Compare
Choose a tag to compare
Ordinal v0.5.3
  • Support Coq 8.18
Assets 2
Loading

Ordinal v0.5.2

28 Mar 04:19
@minkiminki minkiminki
v0.5.2
400831e
Compare
Choose a tag to compare
Ordinal v0.5.2
  • Support Coq 8.15
Assets 2
Loading

Ordinal v0.5.1

30 Dec 04:03
@minkiminki minkiminki
v0.5.1
7e21407
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
Ordinal v0.5.1
  • Support Coq 8.14
Assets 2
Loading

Ordinal v0.5.0

15 Jun 12:53
@minkiminki minkiminki
v0.5.0
7d82d73
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
Ordinal v0.5.0
  • First release
Assets 2
Loading