0.3
- Allow adding definitions/theorems to the environment
- Stabilize Lean to at least version 4.8.0
- Add support for the
have
,conv
,calc
tactics - Add proof scraping support
- Add synthetic tactics
- Add condensed interface
- Add environment pickling
- Add "automatic mode"
96% Completed