This repository is not active
marcusrossel/old-egg
This is a testing repository for the predecessor of the current egg tactic. Checkout the lean-egg repository for the current version.
Lean
This is a testing repository for the predecessor of the current egg tactic. Checkout the lean-egg repository for the current version.
Lean
This repository is not active