Skip to content

Releases: leanprover-community/mathport

predata-nightly-2024-07-04-02

04 Jul 02:00
@github-actions github-actions
predata-nightly-2024-07-04-02
c5da6a1
Compare
Choose a tag to compare
predata-nightly-2024-07-04-02 Pre-release
Pre-release 
chore: bump mathlib
Assets 4
Loading

predata-nightly-2024-07-03-02

03 Jul 02:07
@github-actions github-actions
predata-nightly-2024-07-03-02
79f37e5
Compare
Choose a tag to compare
predata-nightly-2024-07-03-02 Pre-release
Pre-release 
chore: bump mathlib
Assets 4
Loading

predata-nightly-2024-07-02-01

02 Jul 01:58
@github-actions github-actions
predata-nightly-2024-07-02-01
bfeff2f
Compare
Choose a tag to compare
predata-nightly-2024-07-02-01 Pre-release
Pre-release 
chore: bump mathlib
Assets 4
Loading

predata-nightly-2024-07-01-01

01 Jul 01:58
@github-actions github-actions
predata-nightly-2024-07-01-01
bfeff2f
Compare
Choose a tag to compare
predata-nightly-2024-07-01-01 Pre-release
Pre-release 
chore: bump mathlib
Assets 4
Loading

nightly-2024-07-01-08

01 Jul 08:24
@github-actions github-actions
nightly-2024-07-01-08
bfeff2f
Compare
Choose a tag to compare
nightly-2024-07-01-08 Pre-release
Pre-release 
chore: bump mathlib
Assets 8
Loading

predata-nightly-2024-06-30-01

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

nightly-2024-06-30-08

30 Jun 08:34
@github-actions github-actions
nightly-2024-06-30-08
1bf31e1
Compare
Choose a tag to compare
nightly-2024-06-30-08 Pre-release
Pre-release 
chore: bump mathlib
Assets 8
Loading

predata-nightly-2024-06-29-01

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

nightly-2024-06-29-08

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

predata-nightly-2024-06-28-02

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