Tony Finch dot@dotat.at https://dotat.at/ https://dotat.at/:/T77Y3.html 2026-10-01T08:42:01Z 2026-09-30T15:00:52Z What TLA+ can and can't check.
  • 2026‑09‑30 - What TLA+ can and can't check.
  • https://buttondown.com/hillelwayne/archive/what-tla-can-and-cant-check/
  • redirect https://dotat.at/:/T77Y3
  • blurb https://dotat.at/:/T77Y3.html
  • atom entry https://dotat.at/:/T77Y3.atom
  • web.archive.org archive.today
    • ]]>