elan-init
Lean Theorem Prover installer and version manager
- Category
- Homebrew formulae
brew install elan-init Official docs outline
github.comExtra Credit builds an outline of elan-init's docs the first time your work uses it. Until then, start at the official documentation.
More in Homebrew formulae
All 3,000- mergiraf Syntax-aware git merge driver
- gcalcli Easily access your Google Calendar(s) from a command-line
- exiv2 EXIF and IPTC metadata manipulation library and tools
- oxfmt High-performance formatting tool for JavaScript and TypeScript
- coturn Free open source implementation of TURN and STUN Server
- zrok Geo-scale, next-generation sharing platform built on top of OpenZiti
- fileicon macOS CLI for managing custom icons for files and folders
- brew-gem Install RubyGems as Homebrew formulae
- hexyl Command-line hex viewer
- dependency-check OWASP dependency-check
- gron Make JSON greppable
- git-extras Small git utilities