feat: support `variable` commands

leanprover-community / repl

A simple REPL for Lean 4, returning information about errors and sorries.

69 stars 16 forks source link

Closed kim-em closed 11 months ago

kim-em commented 11 months ago

This requires pickling the Commmand.State, not just the Environment.