Skip to content
View flijnzaad's full-sized avatar
3 followers · 1 following
  • Utrecht

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report flijnzaad

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. natural-natural-deduction natural-natural-deduction Public

    "Natural" Natural Deduction: a Theorem Prover for Propositional Logic

    Python 5

  2. knowledge-technology-practical knowledge-technology-practical Public

    Python

  3. fpl-csp fpl-csp Public

    Project for the course "Functional Programming for Logicians" about constraint programming

    Haskell

  4. fpl-report fpl-report Public

    Forked from funcspec/report-example

    Report for project for Functional Programming for Logicians, 21/22, by Flip Lijnzaad and Jasper Stammes

    Haskell

  5. master-thesis master-thesis Public

    TeX