S
ResolutionProver
public
0 stars
0 forks
0 issues
Commits
List of commits on branch master.Unverified
7ff0a210f59cbe4fb99719aa39f6b1b6ecd797d0adding expander tests for basic rules (alpha, beta, negneg)
SSimon-Hohberg committed 12 years ago
Unverified
425bc4e9a66237eef173bf5c0f5f62bef6900715* prenex
ss-lau committed 12 years ago
Unverified
d756e7c77b382c5bb1f77b77ef85ed55f63b14cffixing very basic first order example, issue parsing more complex first order example
SSimon-Hohberg committed 12 years ago
Unverified
904d743f0bfb6a8472c176e6fafdb09bf6126153improving trace
SSimon-Hohberg committed 12 years ago
Unverified
11c57221f66a316e847d1c65ea05e241c84148ffadding first order prover
SSimon-Hohberg committed 12 years ago
Unverified
7410c46ce002dea067252e745acdc330ebda05f1fixing stackoverflow caused by equals of BooleanAtomic
SSimon-Hohberg committed 12 years ago