mathlibtools binary package in Ubuntu Jammy s390x
mathlib-tools contains leanproject, a supporting tool for Lean mathlib. In
conjunction with elan it allows a user to create, build, update and
otherwise manage projects using the Lean 3 theorem prover and the mathlib
library of mathematics and tactics.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2021-10-20 01:33:33 UTC | Published | Ubuntu Jammy s390x | release | universe | math | Optional | 1.1.0-1 | ||
|
|||||||||
Deleted | Ubuntu Jammy s390x | proposed | universe | math | Optional | 1.1.0-1 | |||
|