Life & Computing Science — program-proving https://alhassy.com Life & Computing Science — program-proving en-us Typed Lisp, A Primer https://alhassy.com/TypedLisp https://alhassy.com/TypedLisp?last-updated=2019-08-21 19:29 Wed, 21 Aug 2019 19:29:00 +0000 Exploring Lisp's fine-grained type hierarchy. An Interactive Way To C https://alhassy.com/InteractiveWayToC https://alhassy.com/InteractiveWayToC?last-updated=2019-01-12 19:29 Sat, 12 Jan 2019 19:29:00 +0000 Learning C program proving using Emacs --reminiscent of Coq proving with Proof General.