13 Apr 2002 evilrobots   » (Observer)

Lambda the Ultimate Thursday, April 11, 2002. Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Latest blog entries     Older blog entries

X
Share this page