Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
hablapps
Fetched on 2024/05/02 11:24
hablapps
/
whatlogiccanteachus
Notebook and slides for the talk "What logic can teach us" at Scalacon'22 -
View it on GitHub
Star
3
Rank
2702987