broken link onto fu-berlin

leoprover / Leo-III

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

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

42 stars 10 forks source link

Closed andreas-roehler closed 1 month ago

andreas-roehler commented 2 months ago

Link given here at github seems broken: inf.fu-berlin.de/~lex/leo3

lex-lex commented 1 month ago

Resolved, Thanks!