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.
The Logic Lab is covered in three talks on the Shen Education Channel.
The first talk deals with
the history of the Logic Lab. The second talk
deals how to specify logics in the Logic Lab and
the third and final talk deals with how to to conduct proofs in the logics so described.
Download
You can get the Logic Lab from here.
Note you need the Shen Standard Library to run the Logic Lab. There is a binary for Shen under Windows with the
Standard Library installed which you can get here.
New Book
The Logic Lab is the subject of a forthcoming publication in the summer of 2023.
|
LATEST NEWS
The support page for the text Logic, Proof and Computation is established.
______________________________
Shen Education Channel starts on Youtube.
______________________________
Faster, smaller S31 Shen kernel released; read about the S series of kernels here.
______________________________
Fourth edition of 'The Book of Shen' released; read about it here.
______________________________
Bruno Deferrari wins the first Shen Open Science prize.
______________________________
Yggdrasil project launched - the grand unification of programming languages.
______________________________
Want to advertise on this site? Go to the contacts page. |