On-line proof checker, and texts.

2024-07-03

Logic Machine at Texas A&M University

The Logic Machine: Logic Software at Texas A&M University

The Logic Daemon