Human folly for 02026-09-17

older newer index

• J Bob lang (raw.githubusercontent.com):

  The #J-Bob language, a tiny #Lisp for the #formal-methods #tutorial book The Little Prover. This URL also shows how to get a particular file from a #GitHub repo without invoking all their front-end rendering logic.