ProofScript

ProofScript is the language component of ProofPeer. It is used for

• mathematical formalisations,
• programming,
• technical publishing, blogging & commenting.

Check out the Wiki for more information.