Pinned Repositories
howtowritephilosophy
Materials for writing intensive courses
lightcv
LaTeX class for creating a CV
logic_extra_credit
Extra credit exercises for logic
proofpack
LaTeX package for styling natural deduction proofs
propositional_logic_wff_checker
qti2txt
savecanvasdiscussion
Save Canvas Discussion as CSV and TXT files
secretwordpuzzle
Sample code used to solve a version of the secret word problem
truth-table-generator
truth-table-generator is a tool that allows to generate a truth table
truthtablegenerator
davidagler's Repositories
davidagler/proofpack
LaTeX package for styling natural deduction proofs
davidagler/lightcv
LaTeX class for creating a CV
davidagler/logic_extra_credit
Extra credit exercises for logic
davidagler/propositional_logic_wff_checker
davidagler/savecanvasdiscussion
Save Canvas Discussion as CSV and TXT files
davidagler/secretwordpuzzle
Sample code used to solve a version of the secret word problem
davidagler/truth-table-generator
truth-table-generator is a tool that allows to generate a truth table