[isabelle-dev] Isabelle (proof assistant) - Wikipedia, the free encyclopedia

Lawrence Paulson lp15 at cam.ac.uk
Tue Feb 19 00:42:20 CET 2013

Previous message (by thread): [isabelle-dev] Order Relations
Next message (by thread): [isabelle-dev] Isabelle (proof assistant) - Wikipedia, the free encyclopedia
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Leaves something to be desired. Starting with the first sentence. Do we care?

Larry

http://en.wikipedia.org/wiki/Isabelle_(proof_assistant)

Previous message (by thread): [isabelle-dev] Order Relations
Next message (by thread): [isabelle-dev] Isabelle (proof assistant) - Wikipedia, the free encyclopedia
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list