aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 10 Pull Requests 1 Packages Projects Releases 1 Wiki Activity

0.3

New Issue
  • feat: Allow adding definitions/theorems to the environment
  • chore: Stabilize Lean to at least version 4.8.0 4.12.0
  • feat: Add support for the have, conv, calc tactics
  • feat: Add proof scraping support
  • feat: Add synthetic tactics (motivated apply, no confuse, etc.)
  • feat: Add condensed delated interface
  • feat: Add automatic mode
  • feat: Add environment/state pickling
  • doc: Add design rational documentation
2024-12-15
93% Completed