Matteo Manighetti 7ae65be566 Upgrade sessions to use Alt-Ergo 2.6.0

2025-01-14 19:48:35 +01:00

..

.gitignore

OCaml extraction now recursively extracts all dependencies

2014-02-26 11:50:46 +01:00

euler001_DivModHints_mod_div_unique_1.v

updated coq proofs

2024-05-31 14:17:56 +02:00

euler001_SumMultiple_Closed_Formula_1.v

reorganize examples/

2013-01-30 01:23:44 +01:00

euler001_TriangularNumbers_tr_mod_2_1.v

Update testsuite to Coq 8.4.

2013-08-20 14:56:11 +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

Upgrade sessions to use Alt-Ergo 2.6.0

2025-01-14 19:48:35 +01:00

why3shapes.gz

updated coq proofs

2024-05-31 14:17:56 +02:00