ProofScript

TypeScript with dependent types and formal verification.

More soon.

ProofScript is part of Millillion: impossibly ambitious, open-source software built with AI.