gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/lean: update XML metadata

Browse Source 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
Maciej Barć
2025-01-02 22:46:04 +01:00
parent ed0c3721aa
commit 7e5d10a3e0
1 changed files with 8 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
sci-mathematics/lean/metadata.xml
View File

@@ -8,10 +8,15 @@
</maintainer>
<longdescription>
The Lean theorem prover is a proof assistant developed principally
by Leonardo de Moura at Microsoft Research.
by Leonardo de Moura at Microsoft Research. 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.
</longdescription>
<upstream>
<bugs-to>https://github.com/leanprover-community/lean/issues</bugs-to>
<remote-id type="github">leanprover-community/lean</remote-id>
<bugs-to>https://github.com/leanprover/lean4/issues</bugs-to>
<remote-id type="github">leanprover/lean4</remote-id>
</upstream>
</pkgmetadata>