aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/vio/simple.v
blob: 407074c1e7af9154dcb15c0875114d599d37d449 (plain)
1
2
Lemma simple : True.
Proof using. trivial. Qed.