Cone

Photo by Wsiegmund

Changelog

• Most of the code has been tested!
• Static token definition
• Improve plugin architecture
  • Easier Lexicon definition
  • Easier Formal system implementation
  • No more lexem_parser parameters in Output
• New analytic tableaux plugin
  • It's naive -> it's harder
  • It has (really good) syntax checking!
  • It has a solver and a checker
• Undo operation
• Fully embrace OOP
• Folders can be plugins
• Remove Herobrine