Claude Marche 7620017bbf upgraded provers in examples

2025-12-09 10:43:46 +01:00

..

.gitignore

defunctionalization example: fixed OCaml extraction

2014-04-02 17:08:41 +02:00

main.ml

Remove all usages of obsolete library why3extract.cma

2019-06-21 20:47:38 +02:00

Makefile

Switch to zarith (fix #298).

2024-11-08 22:05:42 +01:00

why3session.xml

upgraded provers in examples

2025-12-09 10:43:46 +01:00

why3shapes.gz

add a meta to mark a symbol as never removed by remove_unused*

2023-06-15 15:18:48 +00:00