Announcement_3
Vortrag über unser Paper Elixir meets TPTP: Bringing Automated Reasoning to the BEAM Ecosystem bei PAAR’26 in Lissabon. Die Folien und die gezeigten Demo-Dateien sind öffentlich verfügbar.
Vortrag über unser Paper Elixir meets TPTP: Bringing Automated Reasoning to the BEAM Ecosystem bei PAAR’26 in Lissabon. Die Folien und die gezeigten Demo-Dateien sind öffentlich verfügbar.