1Verified Programming of Turing Machines in Coq (2020) (opens in new tab)(popl20.sigplan.org)2maxsun5y ago1
2Show HN: TermAlert – Receive a text when a terminal command finishes (opens in new tab)(termalert.me)10maxsun9y ago5
