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
18,511 Commits 65 Branches 1 Tag
master
Commit Graph

3 Commits

Author SHA1 Message Date
Claude Marche
bcf91c0e6e updated coq proofs 2024-05-31 14:17:56 +02:00
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