?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
fix sessions and CE oracles
[why3.git] / examples_in_progress / ubi_examples / README
bloba4c1fb2e1350871c52b2a8a4b30223c572530d80
1 A small gallery of verified algorithms made in UBI, Universidade da
2 Beira Interior (Covilhã, Portugal).
3
4
A platform for deductive program verification