mathematical equations

Lean

Programming language and theorem prover