{"name":"lean","portdir":"math/lean","version":"3.51.1","license":"Apache-2","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"https://github.com/leanprover-community/lean","description":"The Lean theorem prover.","long_description":"A fork of Lean 3 maintained and updated by the Lean community. Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover.","active":true,"categories":["math"],"maintainers":[{"name":"","github":"kakuhen","ports_count":9}],"variants":["debug","universal"],"dependencies":[{"type":"build","ports":["cmake","ninja","clang-17"]},{"type":"lib","ports":["gmp"]}],"depends_on":[]}