fp-lean icon indicating copy to clipboard operation
fp-lean copied to clipboard
verified publisher icon leanprover

[Typo] Next steps: corrections re std library and completed port of mathlib to Lean 4

Open hmonroe opened this issue 2 years ago • 0 comments

See the suggested changes in PR 149: https://github.com/leanprover/fp-lean/pull/149/files

hmonroe avatar Jan 29 '24 16:01 hmonroe