Skip to content

Releases: leanprover-community/mathport

nightly-2024-06-23-08

23 Jun 08:21
@github-actions github-actions
nightly-2024-06-23-08
8372aec
Compare
Choose a tag to compare
nightly-2024-06-23-08 Pre-release
Pre-release 
chore: bump mathlib
Assets 8
Loading

predata-nightly-2024-06-22-01

22 Jun 01:57
@github-actions github-actions
predata-nightly-2024-06-22-01
ffcaee2
Compare
Choose a tag to compare
predata-nightly-2024-06-22-01 Pre-release
Pre-release 
chore: bump mathlib
Assets 4
Loading

nightly-2024-06-22-08

22 Jun 08:23
@github-actions github-actions
nightly-2024-06-22-08
ffcaee2
Compare
Choose a tag to compare
nightly-2024-06-22-08 Pre-release
Pre-release 
chore: bump mathlib
Assets 8
Loading

predata-nightly-2024-06-21-01

21 Jun 01:54
@github-actions github-actions
predata-nightly-2024-06-21-01
0a6970c
Compare
Choose a tag to compare
predata-nightly-2024-06-21-01 Pre-release
Pre-release 
chore: bump mathlib
Assets 4
Loading

nightly-2024-06-21-08

21 Jun 08:22
@github-actions github-actions
nightly-2024-06-21-08
0a6970c
Compare
Choose a tag to compare
nightly-2024-06-21-08 Pre-release
Pre-release 
chore: bump mathlib
Assets 8
Loading

predata-nightly-2024-06-20-02

20 Jun 02:02
@github-actions github-actions
predata-nightly-2024-06-20-02
e9feff5
Compare
Choose a tag to compare
predata-nightly-2024-06-20-02 Pre-release
Pre-release 
chore: bump mathlib
Assets 4
Loading

nightly-2024-06-20-08

20 Jun 08:24
@github-actions github-actions
nightly-2024-06-20-08
e9feff5
Compare
Choose a tag to compare
nightly-2024-06-20-08 Pre-release
Pre-release 
chore: bump mathlib
Assets 8
Loading

predata-nightly-2024-06-19-01

19 Jun 01:57
@github-actions github-actions
predata-nightly-2024-06-19-01
e993e1f
Compare
Choose a tag to compare
predata-nightly-2024-06-19-01 Pre-release
Pre-release 
chore: bump mathlib
Assets 4
Loading

nightly-2024-06-19-08

19 Jun 08:23
@github-actions github-actions
nightly-2024-06-19-08
e993e1f
Compare
Choose a tag to compare
nightly-2024-06-19-08 Pre-release
Pre-release 
chore: bump mathlib
Assets 8
Loading

predata-nightly-2024-06-18-01

18 Jun 01:58
@github-actions github-actions
predata-nightly-2024-06-18-01
4611faa
Compare
Choose a tag to compare
predata-nightly-2024-06-18-01 Pre-release
Pre-release 
chore: bump mathlib
Assets 4
Loading