Tags: leanprover-community/aesop
Tags
chore: bump toolchain to v4.27.0-rc1 (#283) Co-authored-by: Jannis Limperg <jannis@limperg.de> Co-authored-by: Kyle Miller <kmill31415@gmail.com> Co-authored-by: Sebastian Ullrich <sebasti@nullri.ch> Co-authored-by: Jannis Limperg <limperg@amazon.com> Co-authored-by: Anne C.A. Baanen <vierkantor@vierkantor.com> Co-authored-by: Marc Huisinga <mhuisi@protonmail.com> Co-authored-by: Markus Himmel <markus@lean-fro.org>
chore: bump toolchain to v4.26.0-rc1 (#270) Co-authored-by: Jannis Limperg <jannis@limperg.de> Co-authored-by: Kyle Miller <kmill31415@gmail.com> Co-authored-by: Sebastian Ullrich <sebasti@nullri.ch> Co-authored-by: Jannis Limperg <limperg@amazon.com> Co-authored-by: Anne C.A. Baanen <vierkantor@vierkantor.com> Co-authored-by: Marc Huisinga <mhuisi@protonmail.com>
chore: port to module system (#254) Co-authored-by: Kim Morrison <kim@tqft.net>
chore: bump toolchain to v4.25.0-rc1 (#260) Co-authored-by: Jannis Limperg <jannis@limperg.de> Co-authored-by: Kyle Miller <kmill31415@gmail.com> Co-authored-by: Sebastian Ullrich <sebasti@nullri.ch> Co-authored-by: Jannis Limperg <limperg@amazon.com> Co-authored-by: Anne C.A. Baanen <vierkantor@vierkantor.com> Co-authored-by: Marc Huisinga <mhuisi@protonmail.com>
chore: bump toolchain to v4.24.0-rc1 (#253) Co-authored-by: Jannis Limperg <jannis@limperg.de> Co-authored-by: Kyle Miller <kmill31415@gmail.com> Co-authored-by: Sebastian Ullrich <sebasti@nullri.ch> Co-authored-by: Jannis Limperg <limperg@amazon.com> Co-authored-by: Anne C.A. Baanen <vierkantor@vierkantor.com>
PreviousNext