ada/why3
0
0
Fork 0
mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
16,366 Commits 65 Branches 1 Tag
23.2
Commit Graph

2 Commits

Author SHA1 Message Date
Guillaume Melquiond
07132f831d Implicitly introduce type arguments in Coq printer. 2018-02-01 19:15:05 +01:00
Andrei Paskevich
1b49eb9ddc move proof sessions for the standard library files to examples/stdlib 2014-09-07 00:23:47 +02:00