Open Source Haskell Mathematics Software
Sort By:
Browse free open source Haskell Mathematics Software and projects below. Use the toggles on the left to filter open source Haskell Mathematics Software by OS, license, language, programming language, and project status.
Algebraic graphs
A collection of machine-checkend mathematical proofs
Proof Logic : A logical framework for theorem proving