mathematical equations

Lean

Programming language and theorem prover

ツール

1月 2021

Lean 4 programming language and theorem …

Github for Lean 4