| Tag: lean 1 packages with this tag | ||
| « Back to VersTracker | All Categories | All Tags | Related: theorem-prover version-manager installer mathematics | ||
| Package | Description | Version |
|---|---|---|
| elan-init ☆ formula | Lean Theorem Prover installer and version manager | 4.1.2 |