Search Criteria
Enter search criteriaSearch by
Keywords
Out of Date
Sort by
Sort order
Per page
Package Details: lean4-bin 4.31.0-1
| Git Clone URL: | https://aur.archlinux.org/lean4-bin.git (read-only, click to copy) |
|---|---|
| Package Base: | lean4-bin |
| Description: | An interactive theorem prover |
| Upstream URL: | https://leanprover.github.io/ |
| Licenses: | Apache-2.0 |
| Conflicts: | lean4 |
| Provides: | lean4 |
| Submitter: | Chocobo1 |
| Maintainer: | Chocobo1 |
| Last Packager: | Chocobo1 |
| Votes: | 4 |
| Popularity: | 0.000000 |
| First Submitted: | 2021-08-06 08:02 (UTC) |
| Last Updated: | 2026-06-15 12:39 (UTC) |