The Logic Lab
The Logic Lab is a collection of tools which allow for rapid prototyping and development of computer-based proof
in arbitrary logics. It comprises a proof assistant and a tool for the type secure specification
of derivation rules written in single conclusion sequent calculus.
Currently the Logic Lab is dectivated during a time when a monograph on it is being prepared for publication.
Expect more soon.
|
LATEST NEWS
The open Shen initiative.
Hundreds of free online pages on Shen technology to appear in 2025.
|
