Paged Out! #9
Summary
The Incredible Proof Machine is a browser-based visual tool for constructing proofs in various logics. It describes UI features, keyboard shortcuts, local browser storage, and references academic publications, inviting contributions as Free Software on GitHub.