REPL
A simple REPL for Lean 4, returning information about errors and sorries.
1-1 of 1 packages depending on leanprover-community/REPL
Sort by
Package Name
scottnarmstrong/DeGiorgiuses
v4.29.0-rc6Lean 4 formalization of De Giorgi-Nash-Moser theory