Proofs

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

Each name links to its R help page, which gives the method, its source and a worked example. The other languages use the same names and the same arguments.