syohex/lean
Lean Theorem Prover
JSON parser with dynamic module feature
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Lean Theorem Prover
Bracketed Paste Mode support within emacs -nw
Integrate the Google Repo tool with emacs
tldr client in Golang