Another sequent calculus prover in Prolog: leanseq.pl

2021-12-03, updated 2021-12-03 next - previous

A note about the prover published by Philip Zucker from Jens Otten’s lectures.

The following Prolog code can be considered as an implementation of Wang’s algorithm [1]