Releases: leanprover/fp-lean
Releases · leanprover/fp-lean
pre-2022-11
Clarify JSON.asString in coercions section
pre-2022-10
Update release history
pre-2022-09
Remove unfinished text from this bit
pre-2022-08
Example indentation fix
pre-2022-07
Prepare for second prerelease