Signatures

Modules

•  AutoProofautoproof-0.0.0.0
  Submodules

  •  AutoProof.Classicalautoproof-0.0.0.0
    Submodules

    •  AutoProof.Classical.CNFautoproof-0.0.0.0
  • Internal
    Submodules

    •  AutoProof.Internal.ASTautoproof-0.0.0.0
    • Classical
      Submodules

      •  AutoProof.Internal.Classical.CNFautoproof-0.0.0.0
      •  AutoProof.Internal.Classical.Proofautoproof-0.0.0.0
        Submodules

        •  AutoProof.Internal.Classical.Proof.Glivenkoautoproof-0.0.0.0
        •  AutoProof.Internal.Classical.Proof.Provabilityautoproof-0.0.0.0
      •  AutoProof.Internal.Classical.SATautoproof-0.0.0.0
        Submodules

        •  AutoProof.Internal.Classical.SAT.Algorithmsautoproof-0.0.0.0
          Submodules

          •  AutoProof.Internal.Classical.SAT.Algorithms.DPLLautoproof-0.0.0.0
          •  AutoProof.Internal.Classical.SAT.Algorithms.Simpleautoproof-0.0.0.0
        •  AutoProof.Internal.Classical.SAT.TruthAssignmentautoproof-0.0.0.0
    •  AutoProof.Internal.Formulaautoproof-0.0.0.0
      Submodules

      •  AutoProof.Internal.Formula.Operationsautoproof-0.0.0.0
      •  AutoProof.Internal.Formula.Typesautoproof-0.0.0.0
    • Intuitionistic
      Submodules

      •  AutoProof.Internal.Intuitionistic.Proofautoproof-0.0.0.0
        Submodules

        •  AutoProof.Internal.Intuitionistic.Proof.Correctnessautoproof-0.0.0.0
        •  AutoProof.Internal.Intuitionistic.Proof.Cutautoproof-0.0.0.0
        •  AutoProof.Internal.Intuitionistic.Proof.Provabilityautoproof-0.0.0.0
        •  AutoProof.Internal.Intuitionistic.Proof.Searchautoproof-0.0.0.0
          Submodules

          •  AutoProof.Internal.Intuitionistic.Proof.Search.Generalautoproof-0.0.0.0
          •  AutoProof.Internal.Intuitionistic.Proof.Search.Implicationautoproof-0.0.0.0
          •  AutoProof.Internal.Intuitionistic.Proof.Search.Statmanautoproof-0.0.0.0
    •  AutoProof.Internal.Judgementautoproof-0.0.0.0
    •  AutoProof.Internal.Parserautoproof-0.0.0.0
    •  AutoProof.Internal.Proofautoproof-0.0.0.0
      Submodules

      •  AutoProof.Internal.Proof.Structuralautoproof-0.0.0.0
      •  AutoProof.Internal.Proof.Typesautoproof-0.0.0.0
    • Utils
      Submodules

      •  AutoProof.Internal.Utils.DListautoproof-0.0.0.0
      •  AutoProof.Internal.Utils.MapUtilsautoproof-0.0.0.0
      •  AutoProof.Internal.Utils.Parserautoproof-0.0.0.0
        Submodules

        •  AutoProof.Internal.Utils.Parser.Charautoproof-0.0.0.0
        •  AutoProof.Internal.Utils.Parser.Combinatorautoproof-0.0.0.0
        •  AutoProof.Internal.Utils.Parser.Typesautoproof-0.0.0.0
      •  AutoProof.Internal.Utils.PrettyPrintableautoproof-0.0.0.0
        Submodules

        •  AutoProof.Internal.Utils.PrettyPrintable.Symbolsautoproof-0.0.0.0
      •  AutoProof.Internal.Utils.SetUtilsautoproof-0.0.0.0
  •  AutoProof.Intuitionisticautoproof-0.0.0.0