felix.git/docs/tutorial.md, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-06T13:54:34+00:00 Update tutorial.md 2026-08-06T13:54:34+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-06T13:54:34+00:00 urn:sha1:1a25421c2a168d420581358c8733fcd8f36f379b Update tutorial.md 2026-08-06T13:51:59+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-06T13:51:59+00:00 urn:sha1:a9fb095867a545f2d9971d46bb4a215d7532911b Update docs 2026-08-06T13:50:57+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-06T13:50:57+00:00 urn:sha1:e2bd82cd46de64d535652581acdef713a12e07e3 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 Make `Contradiction` a proof-terminal keyword 2026-07-23T19:19:47+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-23T19:19:47+00:00 urn:sha1:f273a3fd299796a5f2e5b1ec83f2d87621b4ae73 Update tutorial.md 2025-12-03T00:01:08+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-03T00:01:08+00:00 urn:sha1:8d40d239eaf9b695b91ad0cf5ca650ad8a55d3c2 Update tutorial.md 2025-12-02T21:31:51+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-02T21:31:51+00:00 urn:sha1:90000ff166af343035eca031e0b6b8ed1c0c026d Update tutorial.md 2025-12-02T19:43:59+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-02T19:43:59+00:00 urn:sha1:6d9899ff6749179adc6d79478c8511a08c91df45 Update tutorial.md 2025-12-02T19:43:09+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-02T19:43:09+00:00 urn:sha1:cef2c47ebd37c31d1b15e40697f802545498349c Update tutorial.md 2025-12-02T19:41:59+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-02T19:41:59+00:00 urn:sha1:51a0892cdda0259febe5a88eccb4c49ac0c42979