Announcement_3

I’m giving a talk about our Paper Elixir meets TPTP: Bringing Automated Reasoning to the BEAM Ecosystem at PAAR’26 in Lisbon. The slides and the presented demo files are publically available.