learningstud/...
Public

ITP

A deeply interactive "user interface" for a slimmed down version of Lean4.
0 listings
This collection doesn’t contain any listings yet.