felix.git/source/Checking/Kernel/Proof.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 Restore checked set-induction composition 2026-08-05T14:27:44+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-05T14:27:44+00:00 urn:sha1:6353960e8449527314c51546d05414d5218a1c70 Confine contradictory status to falsum targets 2026-08-05T13:24:49+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-05T13:24:49+00:00 urn:sha1:2785025113e8092dc8773e294326005a581a2ca6 Restore exact cases and contradiction 2026-08-05T12:58:32+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-05T12:58:32+00:00 urn:sha1:db5e4920b8b1f0fbc08bf78708ee3076ea895b75 Prepare direct inductive kernel proofs 2026-07-28T12:51:24+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T12:47:19+00:00 urn:sha1:331d86e4a00bae144b6539edeb1deb9af78c5c7e