Login
From:
Hey There Buddo!
(Uncensored)
subscribe
Doing Lean Dirty: Lean as a Jupyter Notebook Replacement | Hey There Buddo!
https://www.philipzucker.com/dirty_lean/
links
backlinks
Roast topics
Find topics
Find it!
import Lean import Std.Data.HashMap import Std.Data.HashSet
