|
|
d25c47522e
|
feat (shells/why3-dev): add provers for local dev
|
2026-01-29 09:38:53 +01:00 |
|
|
|
ab9cb6a9aa
|
feat (shells): haskell, java, switch to unstable
|
2026-01-03 14:05:43 +01:00 |
|
|
|
1a4cfd4e51
|
feat (shells): why3 development shell
|
2025-12-26 14:18:45 +01:00 |
|
