FICHA · AUR

python-mathlibtools

This package contains leanproject, a supporting tool for Lean mathlib

Lean mathlib project helper
CLI
DEVELOPER-TOOL
Launchable
Runs in terminal

official+codex · reviewed · Jun 3, 2026 description in en

Description

Lean mathlib projects can be created, updated, and managed with the leanproject helper. Formal-methods users and mathematicians use this tool for theorem-proving projects, dependency setup, and local development workflows. Project files and toolchain versions should be pinned for reproducible proofs.

How to run

leanproject

Commands: leanproject

Permissions

Permissions not analysed for this source yet.