Volume: Vol-4241 PAAR 2026 | Year: 2026

Paper: « short3 | short4 | short5 »

Elixir meets TPTP: Bringing Automated Reasoning to the BEAM Ecosystem

• Johannes Schuster
• David Fuenmayor
• Christoph Benzmüller

PDF