search

leanprover-community / repl

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

chore: build all of Mathlib in Mathlib tests in case cache is not present #23

Closed semorrison closed 7 months ago