flijnzaad

MSc Logic student at the University of Amsterdam (third year) ; previously BSc Artificial Intelligence at the University of Groningen

Utrecht

Pinned Repositories

fpl-csp
Project for the course "Functional Programming for Logicians" about constraint programming
Language:Haskell0 1 00
fpl-report
Report for project for Functional Programming for Logicians, 21/22, by Flip Lijnzaad and Jasper Stammes
Language:Haskell00
knowledge-technology-practical
Language:Python0 1 00
master-thesis
Language:TeX0 1 00
natural-natural-deduction
"Natural" Natural Deduction: a Theorem Prover for Propositional Logic
Language:Python5 2 10
pyswip
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
Language:Python491 33 9898

flijnzaad's Repositories

flijnzaad/natural-natural-deduction
"Natural" Natural Deduction: a Theorem Prover for Propositional Logic
Language:Python5 2 10
flijnzaad/fpl-csp
Project for the course "Functional Programming for Logicians" about constraint programming
Language:Haskell0 1 00
flijnzaad/fpl-report
Report for project for Functional Programming for Logicians, 21/22, by Flip Lijnzaad and Jasper Stammes
Language:Haskell00
flijnzaad/knowledge-technology-practical
Language:Python0 1 00
flijnzaad/master-thesis
Language:TeX0 1 00