alpha
Login
or
Join now
utensil.tngl.sh
/
lean4_jupyter
Star
0
Fork
0
Atom
Configure Feed
Issues
Pull Requests
Commits
Tags
Feed URL
Select the types of activity you want to include in your feed.
A Lean 4 Jupyter kernel via repl
Star
0
Fork
0
Atom
Configure Feed
Issues
Pull Requests
Commits
Tags
Feed URL
Select the types of activity you want to include in your feed.
Overview
Issues
Pulls
Pipelines
Branches
Name
Commit
Message
Date
main
Default
2cee78ae
Add note to activate the virtual environment
2 years ago
main
Default
2cee78ae
2 years ago
utensil.tngl.sh