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.
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.
The Logic Lab is the subject of a forthcoming publication in the summer of 2023.
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.