theorem-proving — independent software & tools

1 independent theorem-proving listing the big search engines bury.

• physics-ide

  github · Free · by GPD-Research

  This is part of my meta-analysis where I investigate the utility of AI assisted tool and theoretical model development. This application is a theoretical physics IDE, where a user can import a theoretical model and use AI to organize and work on that model with built-in documentation generation.