Ignore this box please.
More
Settings
Goodies
About
Help
Feedback
PRIVACY
DontTrack
DontBubble
Policy
COMMUNITY
Platform
Forum
Chat
Spread
Search Syntax
s:d sort by date
r:uk uk region
site: domain search
\ search first result
More...
r:n turn off region
!a search search amazon
site:uk .uk pages
f: find files
t: within title
b: within body
More explanation...
E theorem prover
E is a modern, high performance theorem prover for full first-order logic with equality.
More at Wikipedia
Free theorem provers
Theorem proving software systems
More related topics
Unix programming tools
Free software programmed in C
This page requires JavaScript. Get the non-JS version
here
.