Spaces:

Ray5th
/

Lean4-helper

Running

App Files Files Community

Lean4-helper / src

37.3 kB

Ctrl+K

Ctrl+K

4 contributors

History: 23 commits

p4r5kpftnp-cmd

Repo cleanup: dead code out, test isolation fix, real README

16fb4fc 17 days ago