Revision 1.0.3 June 2021

Simple GUI for the Logic WorkBench lwb

needs Java 9 or newer

Start with

Mac OSX
java -Duser.language=en -Xdock:name=lwb-gui -jar lwb-gui.jar

Linux and Windows
java -Duser.language=en -jar lwb-gui.jar

This revision:
Presentation combinatory logic, typo in Y combinator!!

Revision 1.0.1 November 2020

Simple GUI for the Logic WorkBench lwb

needs Java 9 or newer

Start with

Mac OSX
java -Duser.language=en -Xdock:name=lwb-gui -jar lwb-gui.jar

Linux and Windows
java -Duser.language=en -jar lwb-gui.jar

This revision:
New function (show-proof :proof-id) that prints the proof of a theorem loaded into the current logic.

Revision 1.0.0 November 2020

Simple GUI for the Logic WorkBench lwb

needs Java 9 or newer

Start with

Mac OSX
java -Duser.language=en -Xdock:name=lwb-gui -jar lwb-gui.jar

Linux and Windows
java -Duser.language=en -jar lwb-gui.jar