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

5 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
Claude Marche
c1d0e32162 update proofs of examples/stdlib 2017-05-31 17:49:29 +02:00
Guillaume Melquiond
0ebe8cb2bb Fix Coq proof. 2017-05-31 08:08:30 +02:00
Andrei Paskevich
1b49eb9ddc move proof sessions for the standard library files to examples/stdlib 2014-09-07 00:23:47 +02:00