package info (click to toggle)
yasnippet-snippets 1.0%2B28.gcd665c9-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 9,040 kB
  • sloc: lisp: 121; sh: 13; ada: 5; makefile: 2; python: 2

Folder: propositions

d .. (parent)
- - rw-r--r-- 134 axiom.yasnippet
- - rw-r--r-- 102 conjecture.yasnippet
- - rw-r--r-- 159 corollary.yasnippet
- - rw-r--r-- 155 example.yasnippet
- - rw-r--r-- 150 fact.yasnippet
- - rw-r--r-- 103 hypotheses.yasnippet
- - rw-r--r-- 102 hypothesis.yasnippet
- - rw-r--r-- 157 instance.yasnippet
- - rw-r--r-- 151 lemma.yasnippet
- - rw-r--r-- 102 parameter.yasnippet
- - rw-r--r-- 163 proposition.yasnippet
- - rw-r--r-- 153 remark.yasnippet
- - rw-r--r-- 154 theorem.yasnippet
- - rw-r--r-- 97 variable.yasnippet
- - rw-r--r-- 100 variables.yasnippet