Typo 7.2.6 - Githubissues

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

Closed mvrozend closed 4 years ago

mvrozend commented 4 years ago

first sentence: prove -> proven

jkorb commented 4 years ago

Thanks @mvrozend , will get on this later today!