yasnippet-lean

Homepage: https://github.com/leanprover-community/yasnippet-lean

Author: Andrea Crotti, Simon Hudon

Updated: 2022-Jan-05

Summary

Collection of snippets for the Lean prover

Commentary

Snippet collection for the Lean theorem prover.

Dependencies

• lean-mode
• yasnippet