s-scrap-2023-06

code:demo.est

use peano::+

use peano::-

pub th1(): 1 + 1 = 2 {

1 + 1 = s(0) + 1

= s(0) + s(0)

= s(s(0)) + 0

= s(s(0))

= s(1)

= 2

}

pub th2(x): x >= 0 {

... proof ...

}

code:est.toml

code:est.lock

module

sha256 = "559aead08264d5795d3909718cdd05abd49572e84fe55590eef31a88a08fdffd"

...