mirror/guix
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2025-01-19 14:07:01 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: Add python-mathlibtools.

Browse source 
* gnu/packages/lean.scm (python-mathlibtools): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
This commit is contained in:
Pradana AUMARS 2022-02-27 16:41:58 +01:00 committed by Ludovic Courtès
parent f1aa1f3412
commit fee68a93d8
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5
1 changed files with 44 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

45
gnu/packages/lean.scm
View file

@ -2,6 +2,7 @@
;;; Copyright © 2019 Amin Bandali <bandali@gnu.org> ;;; Copyright © 2019 Amin Bandali <bandali@gnu.org>
;;; Copyright © 2020 Brett Gilio <brettg@gnu.org> ;;; Copyright © 2020 Brett Gilio <brettg@gnu.org>
;;; Copyright © 2020 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2020 Tobias Geerinckx-Rice <me@tobias.gr>
;;; Copyright © 2022 Pradana Aumars <paumars@courrier.dev>
;;; ;;;
;;; This file is part of GNU Guix. ;;; This file is part of GNU Guix.
;;; ;;;
@ -22,9 +23,17 @@ (define-module (gnu packages lean)
#:use-module (gnu packages bash) #:use-module (gnu packages bash)
#:use-module (gnu packages multiprecision) #:use-module (gnu packages multiprecision)
#:use-module (guix build-system cmake) #:use-module (guix build-system cmake)
#:use-module (guix build-system python)
#:use-module ((guix licenses) #:prefix license:) #:use-module ((guix licenses) #:prefix license:)
#:use-module (guix packages) #:use-module (guix packages)
#:use-module (guix git-download)) #:use-module (guix git-download)
#:use-module (guix download)
#:use-module (gnu packages graphviz)
#:use-module (gnu packages version-control)
#:use-module (gnu packages python-build)
#:use-module (gnu packages python-crypto)
#:use-module (gnu packages python-web)
#:use-module (gnu packages python-xyz))
(define-public lean (define-public lean
(package (package
@ -72,3 +81,37 @@ (define-public lean
core based on dependent typed theory, aiming to bridge the gap between core based on dependent typed theory, aiming to bridge the gap between
interactive and automated theorem proving.") interactive and automated theorem proving.")
(license license:asl2.0))) (license license:asl2.0)))
(define-public python-mathlibtools
(package
(name "python-mathlibtools")
(version "1.1.1")
(source (origin
(method url-fetch)
(uri (pypi-uri "mathlibtools" version))
(sha256
(base32
"089pql105imx8z7ar1wiz9fn000jp6xqdfixw4jf2vric94vn9fj"))))
(build-system python-build-system)
(arguments
'(#:phases (modify-phases %standard-phases
(add-before 'check 'fix-home-directory
(lambda _
(setenv "HOME" "/tmp"))))))
(inputs (list python-toml
python-pygithub
python-certifi
python-gitpython
python-requests
python-click
python-tqdm
python-networkx
python-pydot
python-pyyaml
python-atomicwrites))
(home-page "https://github.com/leanprover-community/mathlib-tools")
(synopsis "Development tools for Lean mathlib")
(description
"This package contains @command{leanproject}, a supporting tool for Lean
mathlib, a mathematical library for the Lean theorem prover.")
(license license:asl2.0)))