elan-init
JSON →Lean Theorem Prover installer and version manager. Available on Homebrew and apt.
Traffic · last 30 days stale · no recent hits
total hits 10
actors 4 distinct systems
last hit 19d ago Bingbot
top countries 🇺🇸 United States · 🇸🇬 Singapore · 🇨🇦 Canada · 🇫🇷 France
Resources
homepagegithub.com/leanprover/elan ↗