Flip Lijnzaad's repositories
natural-natural-deduction
"Natural" Natural Deduction: a Theorem Prover for Propositional Logic
fpl-csp
Project for the course "Functional Programming for Logicians" about constraint programming
Language:Haskell000
fpl-report
Report for project for Functional Programming for Logicians, 21/22, by Flip Lijnzaad and Jasper Stammes
Language:Haskell000
Language:TeX000