/old-egg

This is a testing repository for the predecessor of the current egg tactic. Checkout the lean-egg repository for the current version.

Primary LanguageLean

This repository is not active