Johannes Kanig a2807b3ddb Merge 1.8.2 into AdaCore master

2025-10-14 10:32:03 +09:00

..

.gitignore

…

index.html

sudoku, some adjustments

2015-01-13 20:05:24 +01:00

jsmain.ml

Merge 1.8.2 into AdaCore master

2025-10-14 10:32:03 +09:00

main.ml

Remove all usages of obsolete library why3extract.cma

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

Makefile

Compile again programs extracted to OCaml and JS

2025-09-15 13:53:55 +02:00

why3session.xml

fix session sudoku

2024-11-27 09:50:11 +01:00

why3shapes.gz

Add metas for unused dependencies in generated axioms

2024-10-25 18:34:29 +02:00