The top documents tagged [macos x version of jape]
Natural Deduction Manual JAPE
15 views