Article URL: https://shkspr.mobi/blog/2023/10/seven-years-on-mastodon/
Comments URL: https://news.ycombinator.com/item?id=45770271
Points: 1
# Comments: 0
Source: shkspr.mobi
Show HN: TAUT2 – Mathematical logic exercises in the browser
Hi HN, This is something I originally built for my students when I was teaching logic at the University of Buenos Aires (I have now
October 31, 2025
