README.md

metadata

title: README
emoji: 🔥
colorFrom: gray
colorTo: yellow
sdk: static
pinned: false

We are DTAI, the Declarative Languages and Artificial Intelligence Research Group at KU Leuven. More info here: https://dtai.cs.kuleuven.be