8000 GitHub - wigginslab/min-bench: (Experiment) Minimalistic Lean Workbench · GitHub
[go: up one dir, main page]

Skip to content
wigginslabPublic

About

(Experiment) Minimalistic Lean Workbench

Resources

Stars

0 stars

Watchers

4 watching

Forks

Repository files navigation

About

(Experiment) Minimalistic Lean Workbench

Resources

Stars

0 stars

Watchers

4 watching

Forks

Releases

Packages

Contributors

Languages

0