ProofScript Programming Language

proofscriptlang.github.io

ProofScript is TypeScript with mathematical verification