Once data is loaded into Excel, Copilot allows users to ask questions in natural language instead of building new formulas.
Newer models are more prone to silent but deadly failure modes ...
This code is a translation/adaptation to Python 3.10+ of the original OCaml code from the book "Handbook of Practical Logic and Automated Reasoning" by John Harrison ...