Rare find

LeanTool. A "code intepreter" for Lean

github.com/GasStationManager/LeanTool
by @GasStationManager

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.