search

leanprover-community / repl

A simple REPL for Lean 4, returning information about errors and sorries.
69 stars 16 forks source link

chore: bump toolchain to v4.7.0 #38

Closed david-christiansen closed 6 months ago