leoprover Leo-III issues

leoprover / Leo-III

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

http://inf.fu-berlin.de/~lex/leo3

BSD 3-Clause "New" or "Revised" License

41 stars 10 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

leo3.jar missing

#79 andreas-roehler closed 1 week ago
1
broken link onto fu-berlin

#78 andreas-roehler opened 1 week ago
0
Update Install.MD

#77 lex-lex opened 3 months ago
0
Remainder operation is disabled

#76 gistya opened 5 months ago
1
Using LEO-III as library and calling it repeatedly with different arguments leads to the changed arguments being ignored later calls

#75 ColinRothgang opened 1 year ago
1
problem causes LEO to hang

#74 apease opened 1 year ago
0
Error running Leo-III on SUMO.thf

#71 apease closed 2 years ago
3
Modal example in USAGE.md doesn't work in latest release

#70 Tc14Hd closed 2 years ago
4
Improved TFX and THF support

#69 lex-lex closed 2 years ago
0
Use as library

#68 XBagon opened 3 years ago
1
SYN000~1.p causes problems with git on Windows (as a DOS-style 8.3 filename)

#67 ComFreek closed 3 years ago
2
Merged new parser into Leo-III

#66 lex-lex closed 3 years ago
0
Question: Programmatically constructed terms, THFAnnotated, and parser-enforced TPTP names

#65 dtwelch closed 4 years ago
2
Usage.md: added a description of the - parameter which accepts a problem on the stdin

#64 traeger closed 5 years ago
1
Add GraalVM EE Native Image Profiling

#63 marcnnn closed 5 years ago
0
NullPointerException if TreeLimitedRun is not built

#62 lex-lex closed 2 years ago
0
Native Image using Graal

#61 mziener closed 5 years ago
2
Missing link from FU-page

#60 andreas-roehler closed 5 years ago
2
#58, Usage.md mention path/to/executable

#59 andreas-roehler closed 6 years ago
1
Usage.md mention path/to/executable

#58 andreas-roehler closed 6 years ago
1
#56, README.md: Provide more useful Further information

#57 andreas-roehler closed 6 years ago
0
README.md: Provide more useful Further information

#56 andreas-roehler closed 6 years ago
1
#54, Provide link for Sutcliffe G. (2008), The SZS Ontologies

#55 andreas-roehler closed 6 years ago
0
README.md: provide link for References

#54 andreas-roehler closed 6 years ago
1
$TPTP not recognised

#53 andreas-roehler closed 6 years ago
5
Update USAGE.md #51

#52 andreas-roehler closed 6 years ago
0
Update USAGE.md

#51 andreas-roehler closed 6 years ago
1
#49, Minor redundance in README

#50 andreas-roehler closed 6 years ago
2
Minor redundance in README

#49 andreas-roehler closed 6 years ago
1
#47, License - link and subtitle from README

#48 andreas-roehler closed 6 years ago
0
License - link and subtitle from README

#47 andreas-roehler closed 6 years ago
1
#45, Provide "java -jar leo3.jar" at INSTALL binary section

#46 andreas-roehler closed 6 years ago
0
Minor improvment for INSTALL.md

#45 andreas-roehler closed 6 years ago
0
#42, Splitt README.md

#44 andreas-roehler closed 6 years ago
0
Splitt README.md

#43 andreas-roehler closed 6 years ago
3
Splitt README.md

#42 andreas-roehler closed 6 years ago
4
fix "reference to Process is ambiguous" error in build.sbt for sbt 0.13.15 and 1.0.3 (didn't test other versions).

#41 quicquid closed 6 years ago
2
Isabelle/HOL

#40 jparsert closed 6 years ago
4
Merge updates

#39 lex-lex closed 7 years ago
0
HashCode in Clause not Matching Equals

#38 Ryugoron closed 7 years ago
1
Workaround for sbt-jni bug README

#37 hansjoergschurr closed 7 years ago
0
Building PicoSAT: fixes MacOSX warning, update README

#36 hansjoergschurr closed 7 years ago
0
PicoSAT bindins and updated SBT config

#35 hansjoergschurr closed 8 years ago
0
Imitate Binding broken / flexHead revision of Unification

#34 lex-lex closed 7 years ago
1
Type sharing

#33 lex-lex closed 7 years ago
1
Support of "external" atoms

#32 lex-lex opened 8 years ago
0
Unification of new clauses

#31 lex-lex closed 7 years ago
0
Proper TH1 translation of ^[X: $tType]: ...

#30 lex-lex closed 7 years ago
1
Improvements on current unification implementation

#29 lex-lex closed 7 years ago
0
Implicitly quantified variables of a clause

#28 lex-lex opened 8 years ago
0