| 2009-04-18 | Oleksandr Gavenko | About HOL Light. | file | diff | annotate |
| 2009-04-16 | Oleksandr Gavenko | About acl2. | file | diff | annotate |
| 2009-04-16 | Oleksandr Gavenko | Conference & competition. | file | diff | annotate |
| 2009-04-16 | Oleksandr Gavenko | pvs correction. | file | diff | annotate |
| 2009-04-16 | Oleksandr Gavenko | About TPTP. | file | diff | annotate |
| 2009-04-12 | Oleksandr Gavenko | Explain proof assistant. | file | diff | annotate |
| 2009-03-28 | Oleksandr Gavenko | auto proog system. | file | diff | annotate |