YOU SAID:

theorem proving in Lean

INTO JAPANESE

リーンで証明する定理

BACK INTO ENGLISH

Theorem to prove with Lean

INTO JAPANESE

リーンで証明する定理

BACK INTO ENGLISH

Theorem to prove with Lean