Henri Saudubray d25c47522e feat (shells/why3-dev): add provers for local dev		2026-01-29 09:38:53 +01:00
..
flake.lock	feat (shells): haskell, java, switch to unstable	2026-01-03 14:05:43 +01:00
flake.nix	feat (shells/why3-dev): add provers for local dev	2026-01-29 09:38:53 +01:00