Metadata-Version: 2.4
Name: epsiloneridani
Version: 0.1.0
Summary: Autonomous worker for the eic/EpsilonEridani Lean library
Requires-Python: >=3.11
Requires-Dist: rich>=13
Requires-Dist: textual<9,>=8
