CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Auto-QChem is an automated workflow for the generation and storage of DFT calculations for organic molecules.
- cheminformatics
- dft-calculations
- automation
- feature
A powerful library extending VBA with over 100 functions for math, stats, finance, and data manipulation. It supports matrix operations, and user-defined functions, enhancing automation and analysis within Microsoft Office and LibreOffice environments for data management, financial calculations, an more.
- equation-systems
- mathematical-expression-parser
- mathematical-expressions-evaluator
- determinant-calculation