utensil.tngl.sh / formal-land
Utensil's monorepo for formalization, e.g. Lean, Aya utensil.github.io/formal-land/lean4/
0
Fork 0

Configure Feed

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

formal-land / lean4-sci-xp /
at main 1 folder 6 files
utensil Tweaks around SciXp
c78847ed
SciXp
Main.lean
README.md
SciXp.lean
lake-manifest.json
lakefile.toml
lean-toolchain
README.md

sci-xp#