felix.git/source/Checking/Exact/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-04T08:47:33+00:00 Plan and admit module declarations prospectively 2026-08-04T08:47:33+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T08:47:33+00:00 urn:sha1:a89562150ca30d9ad53440f6bce8d6ef166d1842 Route declarations through checked envelopes 2026-08-04T08:07:42+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T08:07:42+00:00 urn:sha1:377e046a6bd04a1c9caa300bd468b9cfe1f97867 Compile exact structure declarations 2026-08-03T08:25:05+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T08:25:05+00:00 urn:sha1:8bd79694585c510346c40df0e8b8196d6f03d529 Support proof-local function graphs 2026-08-03T06:55:22+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T06:55:22+00:00 urn:sha1:ddeadab07f76514057f9be7a201cfb97fdfee688 Confine indirect Vampire discharge 2026-08-03T02:15:09+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T02:15:09+00:00 urn:sha1:90b74260f3919ec79ab8374a8fc6718f98887ea7 Support terminal exact contradiction 2026-08-03T01:43:13+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T01:43:13+00:00 urn:sha1:31516192238499b587d831ef676ad5c28d00624a Support proof-local set definitions 2026-08-03T01:14:05+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T01:13:08+00:00 urn:sha1:6350a412cc16e88e4c23d8b2881705fced207468 Confine set induction to outer proofs 2026-08-02T17:46:12+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T17:46:12+00:00 urn:sha1:adfa4e9c85d200cd32a53609174cc44646d43f6a Rewrite protected set and naturals closure 2026-08-02T16:42:54+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T16:42:54+00:00 urn:sha1:5f64079c4ec671de04971f38907805e9de514537 Narrow final prelude validation 2026-08-02T13:37:01+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T13:37:01+00:00 urn:sha1:b72f1fbe2d5e4c9c79644d750ffe128d41c61998