why3/examples_in_progress/ubi_examples at master - why3

ada/why3

mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00

Files

History

MARCHE Claude 72a423af11 move examples in progress outside the examples directory

2023-03-08 12:26:34 +00:00

README

2023-03-08 12:26:34 +00:00

A small gallery of verified algorithms made in UBI, Universidade da
Beira Interior (Covilhã, Portugal).