Human Folly about “Shankar”

index

• (sal.csl.sri.com):

  #SAL is another of #Shankar’s #formal-methods tools

  on 02022-05-21
• (pvs.csl.sri.com):

  #PVS: #formal-methods in Common Lisp, now free software, by #Shankar

  on 02022-05-21