Files
nvim/UltiSnips/lean.snippets
yannickreiss 82226b4f78
Some checks failed
Test Neovim config on push / build (ubuntu-20.04) (push) Has been cancelled
Add lean snippets and do Neovide
2025-07-08 19:59:46 +02:00

27 lines
268 B
Plaintext
Raw Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

snippet ß "Backslash" A
\\
endsnippet
snippet <> "Add sharp brackets"
⟨$1⟩$0
endsnippet
# Mengen
snippet N "Natural number"
endsnippet
snippet Z "Whole numbers"
endsnippet
# Quantoren
snippet E "Exists"
endsnippet
snippet A "All"
endsnippet