Skip to content

Proofs

Function What it computes Python and command line
proof() Machine-checked proofs behind the package yes