search

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

Support of "external" atoms #32

Open lex-lex opened 8 years ago

lex-lex commented 8 years ago

Add a new primitive External(.) as HeadSymbol which encapsules objects (from the scala runtime) or arbitrary types. Can then be used to have an appropriate handling of integers/floats etc.