https://github.com/splines/lean-continuous

Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.

analysis continuous lean4 math proof proof-assistant proof-solver

Last synced: 16 Mar 2025