1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
The E Theorem Prover
--------------------
E is released as free software and is developed as an FOSS
project. All code contributed to E is implicitly licensed under the
GNU General Public License (version 2 or later).
Contributors:
-------------
Information about individual contributions is available from the git
contributions. Contributors with non-trivial and well-defined
contributions are listed below.
Stephan Schulz <schulz@eprover.org>
- Basic prover, everything not credited to somebody else, everything
that preceeds tracing in git
Simon Cruanes <simon.cruanes.2007@m4x.org>
- Extension from FOF to TFF (simply-sorted first-order logic)
MohamedBassem <medoox240@gmail.com>
- Basic code of E server mode
Martin Moehrmann <moehrmann@eprover.org>
- Cleanup, local optimisations
Petar Vukmirovic <petar.vukmirovic2@gmail.com>
- Improved PicoSAT integration
- Various minor fixes
- (Future: LFHO-E)
|
