# GaloisInc/lean-haskell-bindings

> Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/

- **Canonical URL**: https://githubrepo.cloud/repo/GaloisInc/lean-haskell-bindings
- **GitHub Repository**: https://github.com/GaloisInc/lean-haskell-bindings
- **Maintainer / Creator**: https://github.com/GaloisInc
- **Discovered On**: Oct 21, 2026

---
*Indexed by GitHubRepo (https://githubrepo.cloud). Real-time open-source discovery & telemetry.*