cabal will auto-generate documentation during cabal build.
stack haddock
There are two calculator for proving the correctness.
and or implies iff
convert (A implies (B implies C)) to CNF
stack test
stack test --coverage
cabal test
cabal test --enable-coverage --disable-library-coverage