Created on September 11, 2026
2026
tptp 0.1.0 ist veröffentlicht: ein Parser, Linter und Printer für die TPTP-Sprache in Elixir.