discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
TLA+ in Isabelle/HOL
https://davecturner.github.io/2018/02/12/tla-in-isabelle.html
2 comments
25/12/2023
Reddit
Working with timezones
https://davecturner.github.io/2018/08/12/working-with-timezones.html
35 comments
12/8/2018
programming