Tags: leanprover-community/aesop
Tags
chore: bump toolchain to v4.14.0-rc1 (#174) Co-authored-by: Jannis Limperg <[email protected]> Co-authored-by: Kyle Miller <[email protected]>
chore: move to v4.13.0-rc1 (#167) Co-authored-by: Jannis Limperg <[email protected]>
chore: merge bump/v4.12.0 and move toolchain to v4.12.0-rc1 (#159) Co-authored-by: Jannis Limperg <[email protected]>
chore: bump toolchain to v4.10.0-rc1, and merge changes from nightly-… …testing (#144) Co-authored-by: Jannis Limperg <[email protected]>
PreviousNext