|
__
|
Add default file templates for org and LaTeX
|
2020-02-17 08:25:16 +08:00 |
|
corollary
|
Add proof-related yasnippets
|
2020-03-18 01:16:39 +08:00 |
|
definition
|
Add proof-related yasnippets
|
2020-03-18 01:16:39 +08:00 |
|
lemma
|
Add proof-related yasnippets
|
2020-03-18 01:16:39 +08:00 |
|
proof
|
Add proof-related yasnippets
|
2020-03-18 01:16:39 +08:00 |
|
theorem
|
Add proof-related yasnippets
|
2020-03-18 01:16:39 +08:00 |
