Animated formal proof of problem 4 from the 1987 International Mathematical Olympiad, with commentary.
Links
Lean 4 animation tools: [ Ссылка ]
Compfiles page for IMO1987P4: [ Ссылка ]
Ещё видео!
Animated formal proof of problem 4 from the 1987 International Mathematical Olympiad, with commentary.
Links
Lean 4 animation tools: [ Ссылка ]
Compfiles page for IMO1987P4: [ Ссылка ]