Skip to content

Releases: leanprover/fp-lean

pre-2022-11

27 Nov 19:58
@github-actions github-actions
pre-2022-11
8e32cb0

Choose a tag to compare

View all tags
pre-2022-11 Latest
Latest 
Clarify JSON.asString in coercions section
Assets 3
Loading

pre-2022-10

21 Oct 21:36
@github-actions github-actions
pre-2022-10
aec1403

Choose a tag to compare

View all tags
pre-2022-10 
Update release history
Loading

pre-2022-09

19 Aug 11:31
@github-actions github-actions
pre-2022-09
08aca5b

Choose a tag to compare

View all tags
pre-2022-09 
Remove unfinished text from this bit
Loading

pre-2022-08

17 Jul 08:04
@github-actions github-actions
pre-2022-08
f53b7a5

Choose a tag to compare

View all tags
pre-2022-08 
Example indentation fix
Loading

pre-2022-07

08 Jun 07:15
@github-actions github-actions
pre-2022-07
18342bd

Choose a tag to compare

View all tags
pre-2022-07 
Prepare for second prerelease
Loading