8 lines
80 B
Text
8 lines
80 B
Text
|
import logic
|
||
|
|
|
||
|
|
definition b : Prop :=
|
||
|
|
sorry
|
||
|
|
|
||
|
|
theorem tst : true = false :=
|
||
|
|
sorry
|