![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| PetrVojtechovsky.jpg | 2024-10-04 17:41 | 457K | |
| GoedelGod.jpg | 2024-10-04 17:41 | 426K | |
| QuasiGroup.png | 2024-10-04 17:41 | 185K | |
| NaprocheWebInterface.GIF | 2024-10-04 17:41 | 178K | |
| Huntington.jpg | 2024-10-04 17:41 | 148K | |
| MichaelKinyon.jpg | 2024-10-04 17:41 | 114K | |
| MPTPCrossVerification.GIF | 2024-10-04 17:41 | 100K | |
| Winkler.png | 2024-10-04 17:41 | 90K | |
| WarAndPeace.GIF | 2024-10-04 17:41 | 68K | |
| ArtQuaife.jpg | 2024-10-04 17:41 | 67K | |
| QuaifeBook.jpg | 2024-10-04 17:41 | 60K | |
| JohnSlaney.jpg | 2024-10-04 17:41 | 46K | |
| WosBook.jpg | 2024-10-04 17:41 | 37K | |
| NASACodeCertification.GIF | 2024-10-04 17:41 | 36K | |
| Tarski.jpg | 2024-10-04 17:41 | 35K | |
| Talk.jpg | 2024-10-04 17:41 | 30K | |
| SUMOCyc.GIF | 2024-10-04 17:41 | 26K | |
| BobVeroff.jpg | 2024-10-04 17:41 | 21K | |
| McCune.jpg | 2024-10-04 17:41 | 21K | |
| Robbins.jpg | 2024-10-04 17:41 | 11K | |
| Isabelle.gif | 2024-10-04 17:41 | 9.6K | |
| Summary.html | 2024-11-25 13:50 | 5.9K | |
| ACE.html | 2024-10-04 17:41 | 3.4K | |
| Verisoft.gif | 2024-10-04 17:41 | 3.2K | |
| Mizar.gif | 2024-10-04 17:41 | 2.6K | |
| QuaifeBook.html | 2024-10-04 17:41 | 2.5K | |
| RobbinsProblem.html | 2024-10-04 17:41 | 2.1K | |
| VeroffAIM.html | 2024-10-04 17:41 | 1.9K | |
| SlaneyQuasigroups.html | 2024-10-04 17:41 | 1.9K | |
| Ontological.html | 2024-10-04 17:41 | 1.4K | |
| MPTP.html | 2024-10-04 17:41 | 1.4K | |
| Naproche.html | 2024-10-04 17:41 | 1.2K | |
| Isabelle.html | 2024-11-25 15:33 | 1.1K | |
| NASA.html | 2024-10-04 17:41 | 1.1K | |
| Verisoft.html | 2024-10-04 17:41 | 1.0K | |
| MizarSummary.html | 2024-10-04 17:41 | 1.0K | |
| SUMOCyc.html | 2024-10-04 17:41 | 955 | |
| MPTPCrossVerificationGIF.html | 2024-10-04 17:41 | 342 | |
| NaprocheWebInterfaceGIF.html | 2024-10-04 17:41 | 328 | |
| NASACodeCertificationGIF.html | 2024-10-04 17:41 | 326 | |