LogiProof - Logic Proof Assessment Software
by Wang-Yen Lee, National University of Singapore
Home page