issues
search
lucformalmethodscourse
/
lucformalmethodscourse.github.io
MIT License
0
stars
0
forks
source link
add practice exercises and assessments for each chapter
#9
Open
klaeufer
opened
8 months ago
klaeufer
commented
8 months ago
practice through individual exercises and group activities
include actual practice assessments
logic foundations: truth tables?