Natural Deduction icon

All versions of Natural Deduction

org.inria.peanoware · 1 versions

v1.5 (6) LATEST
Jun 29, 2020 1.1 MB 1,000 TRUSTED
b7b485872b794311cd7d14ba416c3b3c
Download
What's new
Better display