Tags: leanprover-community/aesop
Tags
chore: bump toolchain to v4.20.0-rc1 (#218) Co-authored-by: Jannis Limperg <[email protected]> Co-authored-by: Kyle Miller <[email protected]> Co-authored-by: Sebastian Ullrich <[email protected]>
chore: bump toolchain to v4.19.0-rc2 (#210) Co-authored-by: Jannis Limperg <[email protected]> Co-authored-by: Kyle Miller <[email protected]> Co-authored-by: Sebastian Ullrich <[email protected]>
chore: bump toolchain to v4.18.0-rc1 (#201) Co-authored-by: Kim Morrison <[email protected]>
chore: bump toolchain to v4.17.0-rc1 (#195)
PreviousNext