4 commits

Author	SHA1	Message	Date
Henri Saudubray	23aaa96938	feat (shells/why3-dev): menhir-lsp	2026-02-13 17:49:26 +01:00
Henri Saudubray	d25c47522e	feat (shells/why3-dev): add provers for local dev	2026-01-29 09:38:53 +01:00
Henri Saudubray	ab9cb6a9aa	feat (shells): haskell, java, switch to unstable	2026-01-03 14:05:43 +01:00
Henri Saudubray	1a4cfd4e51	feat (shells): why3 development shell	2025-12-26 14:18:45 +01:00