Some inference rules
This file
contains an automatic proof of two inference rules. Please replace
auto
with basic tactics :
intros
,
apply
and
assumption
.