basic-proof-development
An experiment to show how a proof development system would work. Prelude to a blog post, most likely.
An experiment to show how a proof development system would work. Prelude to a blog post, most likely.
Haskell
An experiment to show how a proof development system would work. Prelude to a blog post, most likely.