Sun, 12 Apr 2009 22:26:28 +0300 | Oleksandr Gavenko | Explain proof assistant. | changeset | files |
Sun, 12 Apr 2009 22:25:47 +0300 | Oleksandr Gavenko | Installing Haskell. | changeset | files |
Wed, 01 Apr 2009 22:38:12 +0300 | Oleksandr Gavenko | Up. | changeset | files |