Merge course rewrite into main

jkorb / KI1V13001-Inleiding-Logica

This is the source material for the course "Inleiding Logica" (KI1V13001) as taught at Utrecht University for the BSc "Kunstmatige Intelligentie"

Creative Commons Attribution 4.0 International

3 stars 16 forks source link

Merge course rewrite into main #75

Closed jkorb closed 3 years ago

jkorb commented 3 years ago

This is a major update, which essentially pushes all the course files into the repository. Additionally, there is Make magic to build and a GH workflow to deploy as rolling release.

jkorb commented 3 years ago

I have spoken