MenuExplore! Impressum Privacy Policy
☐
    project
      1. name

        1. Reasoning System

      2. optimization
        1. objective

          1. Create a system which extracts and validates statements regarding a solution or a problem.

          2. solution

            1. This seems to be a theorem system/prover.

            2. toDo
              https://hol-theorem-prover.org/

              1. Check if this is the case.

            3. toDo

              1. What is the difference between a theorem prover and Prolog.