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

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

..

elements_Elements_Elements_add1_1.v

Implicitly introduce type arguments in Coq printer.

2018-02-01 19:15:05 +01:00

elements_Elements_Elements_set_inside_1.v

Update coq proofs after b27bf68d81

2019-08-24 14:38:51 +02:00

elements_Elements_Elements_union_1.v

updated coq proofs

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

elements_Elements_Occ_elements_1.v

updated coq proofs

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

why3session.xml

Upgrade sessions to use Alt-Ergo 2.6.0

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

why3shapes.gz

fix sessions and CE oracles

2024-11-14 14:48:30 +01:00