Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
app-emacs
/yasnippet-lean
Collection of snippets for the Lean prover
Screenshots
https://github.com/leanprover-community/yasnippet-lean
yasnippet-lean-20220105.2251
~amd64 ~x86
View
Download
Browse
License:
Overlay:
melpa
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
Runtime Dependencies
yasnippet-lean-20220105.2251
app-emacs/yasnippet
>=
app-editors/emacs
-23.1:*