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