v0.0.2

Maintenance release for Lean 4.11.0, with improved CI, installation process, documentation, and examples.

Notably, the css/js assets are now loaded via jsdelivr CDN for Github projects, see vendor.

Full Changelog: v0.0.1...v0.0.2

v0.0.2-rc1

Release candidate for 0.0.2.

Maintenance release for Lean 4.11.0, with improved CI, installation process, documentation, and examples.

Notably, the css/js assets are now loaded via jsdelivr CDN for Github projects, see vendor.

Full Changelog: v0.0.1...v0.0.2-rc1

v0.0.1

A Lean 4 Jupyter kernel via repl. Initial release, covers all basic features of repl.

The kernel can:

• execute Lean 4 commands (including definitions, theorems, etc.)
• execute Lean 4 tatics with magic like % proof immediately after a sorryed theorem
• backtrack to earlier environment or proof states with magic like % env 1 or % prove 3
• support magics like %cd or %load (loading a file)
• support for importing modules from projects and their dependencies, e.g. Mathlib.

🔥 See it in action: Tutorial notebook.

v0.0.1-rc8

Initial release candidate, covers all basic features of repl. See README to learn more.

v0.0.1-rc7

Initial release candidate, covers all basic features of repl. See README to learn more.

v0.0.1-rc6

Initial release candidate, covers all basic features of repl. See README to learn more.

v0.0.1-rc5

Initial release candidate, covers all basic features of repl. See README to learn more.

v0.0.1-rc4

Initial release candidate, covers all basic features of repl. See README to learn more.

v0.0.1-rc3

Initial release candidate, covers all basic features of repl. See README to learn more.

v0.0.1-rc2

Initial release candidate, covers all basic features of repl. See README to learn more.