Skip to content
Commit 646868b2 authored by Michael Raskin's avatar Michael Raskin
Browse files

Adding Otter theorem prover. The development is frozen, but because of that... 

Adding Otter theorem prover. The development is frozen, but because of that Otter is considered a very reliable prover from soundness point of view.
parent d63a9277
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment