Skip to content

Releases: leanprover/fp-lean

pre-2022-11

27 Nov 19:58
Compare
Choose a tag to compare
Clarify JSON.asString in coercions section

pre-2022-10

21 Oct 21:36
Compare
Choose a tag to compare
Update release history

pre-2022-09

19 Aug 11:31
Compare
Choose a tag to compare
Remove unfinished text from this bit

pre-2022-08

17 Jul 08:04
Compare
Choose a tag to compare
Example indentation fix

pre-2022-07

08 Jun 07:15
Compare
Choose a tag to compare
Prepare for second prerelease