felix.git/source/Checking/Backend/Tptp.hs, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-06T15:54:00+00:00 Migrate to `Felix` namespace 2026-08-06T15:54:00+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-06T15:54:00+00:00 urn:sha1:82328890108bae64b372b8d58620ebc62699de76 Remove some ZF stuff 2026-08-06T12:42:39+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-06T12:42:39+00:00 urn:sha1:742bf9877c803da0aa89f6aa510bb20514dba56f Authorize exact typed Vampire requests 2026-07-28T13:57:50+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T13:57:50+00:00 urn:sha1:3fc076a09ef5ca9ab8c99d69e96ef0e7179db82b Render checked prover problems as FOF or TH0 2026-07-28T13:40:48+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T13:40:48+00:00 urn:sha1:b670f37606b8321ea295cee25235d628623a3568