/sequent-prover

Prover of sequents of first-order logic

Primary LanguageJavaScript

Sequent prover

Description

The web program searches for the proof of a given sequent of first-order logic.

Link to the program on free-hosting: http://liubomyr.comze.com/logic