hablapps / whatlogiccanteachus

Notebook and slides for the talk "What logic can teach us" at Scalacon'22

Geek Repo

Github PK Tool