Pinned Loading

1. AtpClient AtpClient Public

   Elixir Tools for communicating with external theorem provers via SystemOnTPTP, StarExec, Isabelle and local installs.

   Elixir

2. shot-thesis shot-thesis Public

   Master's thesis of Johannes Schuster that introduces Shot, a higher-order tableau theorem prover

   TeX

3. ShotTx ShotTx Public

   Implements a multi-agent blackboard tableau prover for simply-typed higher-order logic

   Elixir

4. ShotTo ShotTo Public

   Elixir

5. ShotUn ShotUn Public

   Implements an algorithm for higher-order pre-unification in Elixir

   Elixir

6. ShotDs ShotDs Public

   Data structures for a novel higher-order theorem prover based on semantic tableaux.

   Elixir