Matteo Manighetti dabd0d669c Merge attemp

2023-05-17 11:15:20 +02:00

..

coq

Merge attemp

2023-05-17 11:15:20 +02:00

isabelle

Add support for Isabelle 2022.

2023-02-24 18:46:25 +01:00

pvs

Add missing files.

2018-03-22 18:41:39 +01:00

why3

Disable custom logic for Seq as it is part of OCaml >= 4.07.

2022-10-19 10:16:49 +02:00

why3-call-pvs

Support realizations compiled afterward (fixes issue #75).

2018-03-22 18:31:26 +01:00