Search

Declan Thompson

Declan Thompson

Home
Blogs
All blogs AI Generated Art Blogic
Background
Experience Education Awards and Scholarships
Projects
Publications and Talks
Contact

natural deduction

Natural Deduction Planner

A proof assistant for generating Fitch-style natural deduction proofs.

Natural Deduction Planner

© 2023 Declan Thompson. This work is licensed under CC BY NC ND 4.0

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite