Life & Computing Science — c https://alhassy.com Life & Computing Science — c en-us 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.