Elixir meets TPTP : Bringing Automated Reasoning to the BEAM Ecosystem

Schuster, JohannesJohannesSchusterFuenmayor, DavidDavidFuenmayor0000-0002-0042-4538Benzmüller, ChristophChristophBenzmüller0000-0002-3392-30932026-09-102026-09-1020261613-0073https://fis.uni-bamberg.de/handle/uniba/117137engElixir meets TPTP : Bringing Automated Reasoning to the BEAM Ecosystemconferenceobjecthttps://ceur-ws.org/Vol-4241/short4.pdf