issues
search
rzach
/
forallx-yyc
UCalgary version of forallx, an introduction to formal logic
https://forallx.openlogicproject.org/
Creative Commons Attribution 4.0 International
94
stars
30
forks
source link
Fix Issue11: standard Prawitz rules for natural deduction
#21
Closed
rzach
closed
6 years ago
rzach
commented
6 years ago
Fixes issue #11
Fixes issue #11