MoonBit + Why3 (moon prove) playground, reproducible via Nix flake - View it on GitHub