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