Releases: leanprover-community/mathport
Releases · leanprover-community/mathport
nightly-2024-08-13-06
fix: use github warning box syntax
nightly-2024-08-12-06
fix: use github warning box syntax
nightly-2024-08-11-06
fix: use github warning box syntax
nightly-2024-08-10-06
fix: use github warning box syntax
nightly-2024-08-09-06
fix: use github warning box syntax
nightly-2024-08-08-06
fix: use github warning box syntax
nightly-2024-08-07-06
fix: use github warning box syntax
nightly-2024-08-06-06
fix: use github warning box syntax
nightly-2024-08-05-06
fix: use github warning box syntax
nightly-2024-08-04-06
fix: use github warning box syntax