gpo.zugaina.org

Search Portage & Overlays:

dev-python/foe

A saturation based theorem prover with proof search directed by a learned embedding.

Screenshots

  • foe-0.0.11
    ~amd64 ~x86
    experiments test python_targets_python3_11 python_targets_python3_12 python_targets_python3_13 python_targets_python3_14

    View      Download      Browse     License:   
    Overlay: pypi