• deck

  • Templates

  • Recursion / co-Recursion

  • Refinement

  • Lean theorem prover

  • VPW 2020

  • Encoding Pseudo-Booleans

  • Typesysteem IDP4

  • Typesysteem - Draft

  • Domain Theory

  • Flatzinc Parser

  • GOA

  • ICLP DC

  • ICLP DC - WIP

  • VigorDay