issues
search
leanprover-community
/
mathport
Mathport is a tool for porting Lean3 projects to Lean4
Apache License 2.0
40
stars
15
forks
source link
doc: expand readme and makefile
#244
Closed
fpvandoorn
closed
1 year ago
fpvandoorn
commented
1 year ago
Clarify that this repo might not work on Windows
reformulate some of the Oneshot README
add
leanproject get-cache
in the
mathbin-source
command
Add
git fetch
in the
lean3-source
command.
This last item conflicts with #232 (note that for mathlib we also do an unrestricted
git fetch
)
leanproject get-cache
in themathbin-source
commandgit fetch
in thelean3-source
command.git fetch
)