lean

The Lean Theorem Prover

- 928093 - Assigned to Gentoo Science Mathematics related packages
- 921365 - Assigned to Gentoo Science Mathematics related packages
- 917789 - Assigned to Gentoo Science Mathematics related packages
- 925478 - Assigned to Gentoo Science Mathematics related packages
- 923378 - Assigned to Gentoo Science Mathematics related packages

Gentoo Bugzilla is where we track bugs of Gentoo and its packages; you are welcome to report, confirm and resolve bugs: