search

leanprover-community / repl

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

bump Lean4; set search path; verify compiled version works #9

Closed semorrison closed 10 months ago