https://bugzilla.redhat.com/show_bug.cgi?id=2277910
Bug ID: 2277910
Summary: Review Request: lean4 - Functional programming
language and theorem prover
Product: Fedora
Version: rawhide
URL:
https://lean-lang.org/
Status: NEW
Component: Package Review
Assignee: nobody(a)fedoraproject.org
Reporter: petersen(a)redhat.com
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Target Milestone: ---
Classification: Fedora
Spec URL:
https://petersen.fedorapeople.org/reviews/lean4/lean4.spec
SRPM URL:
https://petersen.fedorapeople.org/reviews/lean4/lean4-4.7.0-1.fc41.src.rpm
Description:
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. Lean programming primarily involves defining types and
functions. This allows your focus to remain on the problem domain and
manipulating its data, rather than the details of programming.
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component
https://bugzilla.redhat.com/show_bug.cgi?id=2277910
Report this comment as SPAM:
https://bugzilla.redhat.com/enter_bug.cgi?product=Bugzilla&format=rep...