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