Claude Marche 27fb33580e Support for Coq 8.19.2

2024-10-03 11:19:54 +02:00

..

13849_T_x_2.v

sessions: some updates for compatibility with Coq 8.5

2016-02-23 10:36:39 +01:00

why3session.xml

Support for Coq 8.19.2

2024-10-03 11:19:54 +02:00

why3shapes.gz

fix sessions

2021-09-03 11:59:11 +02:00