elan
tool for managing installations of the Lean theorem prover
Command lineScience
Not tested on a device yet. What that means
Commands in the package
elanlakeleanleancleancheckerleanmakeleanpkg
About elan
From Debian's package description
elan is a small tool for managing your installations of the Lean theorem prover. It places lean and leanpkg binaries in your PATH that automatically select and, if necessary, download the Lean version described in the lean_version field of your project's leanpkg.toml. You can also install, select, run, and uninstall Lean versions manually using the commands of the elan executable.
From Debian's description of the elan package, under that package's license.
Dependencies
Depends on
libbz2-1.0libc6libcurl4t64libgcc-s1liblzma5libzstd1sensible-utils
Related apps
- z3theorem prover from Microsoft ResearchCommand line
- hol-lightHOL Light theorem proverCommand line
- cvc4automated theorem prover for SMT problemsCommand line
- eproverEquational theorem proverCommand line
- monatheorem prover based on automataCommand line
- spassautomated theorem prover for first-order logic with equalityCommand line
Sources and licenses
- Name: the Debian package name.
- Summary: Debian's short description of the elan package, under that package's license.
- Description: Debian's description of the elan package, under that package's license.
- Versions and sizes: Debian's archive for ARM64, as on packages.debian.org.
- Popularity: Debian Popularity Contest counts.
More in About the catalog.