Skip to content

Releases: affeldt-aist/coq-robot

Robot 0.2

01 Jan 14:26
@affeldt-aist affeldt-aist
0.2
0601d33
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
Robot 0.2 Latest
Latest

compatible with Coq 8.14-8.18 and MathComp 1.16-1.18

Assets 2

Robot 0.1

10 May 17:59
@affeldt-aist affeldt-aist
0.1
1993f5f
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
Robot 0.1

First release.

Assets 2