package info (click to toggle)
yasnippet-snippets 1.1%2Bdfsg-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 9,328 kB
  • sloc: lisp: 127; 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