Can One Rule Tell You Everything About a Strange Operation?
An equation may hide consequences—or admit a counterexample. Meet a proof-search system that checks both paths and reveals where its search stalls.
formal proof search
An equation may hide consequences—or admit a counterexample. Meet a proof-search system that checks both paths and reveals where its search stalls.