search

leanprover-community / lean-auto

Experiments in automation for Lean
Apache License 2.0
73 stars 12 forks source link

Bump toolchain to v4.8.0 #27

Closed dranov closed 5 months ago