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

4 Commits

Author SHA1 Message Date
Andrei Paskevich
eae547d95f stdlib, examples: remove redundant "import" 2018-06-15 16:45:58 +02:00
Guillaume Melquiond
62fd42b1af Fix typing of some more examples. 2016-03-17 15:07:18 +01:00
Jean-Christophe Filliatre
3b32bd7031 matrix.Matrix: no more use of pairs 
Matrix.get and Matrix.set are now currified
no more matrix.MatrixSyntax
 2015-07-06 21:32:34 +02:00
Jean-Christophe Filliatre
bc4ea0a8b2 new example: Warshall algorithm 2014-05-26 15:27:55 +02:00