GeezerVisonThe World Wide Web, restored to 800 pixels of glory. | ||||||||||||||||||||||||||||||||||||||
| Home|About|Gaming cabinet|Archives|How it works|Starter sites | ||||||||||||||||||||||||||||||||||||||
GeezerVison is showing github.com — GitHub - eprover/JavaRes: Pedagogical first-order prover in Java Folders and files
Repository files navigationThis code implements simple, resolution-based theorem provers for first-order logic. It is released as free software under the GNU GPL version 2, and without any warranty. See the file COPYING for details and the individual source headers for copyright information. AboutPedagogical first-order prover in Java ResourcesReleasesPackagesContributorsLanguages | ||||||||||||||||||||||||||||||||||||||
| You are visitor 01402503 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. | ||||||||||||||||||||||||||||||||||||||