mathlibtools binary package in Ubuntu Jammy riscv64
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 riscv64 | release | universe | math | Optional | 1.1.0-1 | ||
|
|||||||||
| Deleted | Ubuntu Jammy riscv64 | proposed | universe | math | Optional | 1.1.0-1 | |||
|
|||||||||
