auto-proof.rst
Wed, 20 Jul 2011 10:54:41 +0300 Oleksandr Gavenko Set fill-column as directory local var.
Sat, 04 Dec 2010 17:10:45 +0200 Oleksandr Gavenko Fix Emacs settings.
Sat, 18 Apr 2009 16:09:23 +0300 Oleksandr Gavenko About HOL Light.
Thu, 16 Apr 2009 21:41:18 +0300 Oleksandr Gavenko About acl2.
Thu, 16 Apr 2009 21:27:12 +0300 Oleksandr Gavenko Conference & competition.
Thu, 16 Apr 2009 21:24:25 +0300 Oleksandr Gavenko pvs correction.
Thu, 16 Apr 2009 21:18:40 +0300 Oleksandr Gavenko About TPTP.
Sun, 12 Apr 2009 22:26:28 +0300 Oleksandr Gavenko Explain proof assistant.
Sat, 28 Mar 2009 18:41:35 +0200 Oleksandr Gavenko auto proog system.
less more (0) tip