emacs/snippets/coq-mode/propositions/conjecture.yasnippet

# -*- mode: snippet -*-
# key: Conj
# group: propositions
# name: Conjecture
# --
Conjecture $1 : $0.