utensil.tngl.sh / lean4_jupyter
A Lean 4 Jupyter kernel via repl
0
Fork 0

Configure Feed

Select the types of activity you want to include in your feed.

lean4_jupyter / examples
1 folder 6 files
demo_proj
00_tutorial.ipynb
01_cd.ipynb
02_load.ipynb
03_import.ipynb
repl-issue-40-dup-msg.ipynb
repl-issue-40-dup-sorries.ipynb