felix.git/source/Checking/Typed, branch hotg
Unnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg
2026-08-04T13:28:19+00:00
Cleanup
2026-08-04T13:28:19+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-04T13:28:19+00:00
urn:sha1:959d4172cc1a8d264d0a870a8a93482b283bb264
Remove obsolete verification machinery
2026-08-03T19:00:28+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-03T19:00:28+00:00
urn:sha1:5cdde1fd0f976863ae4b5831ab389048138b06a4
Lower fixed exact set terms uniformly
2026-08-02T09:49:59+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-02T09:31:30+00:00
urn:sha1:36ecc3fa6e3b5d993a45e01d13fe2f643d64206a
Prepare exact datatype declarations
2026-08-02T08:12:59+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-02T08:12:59+00:00
urn:sha1:e5961f2f7f9b06aed9deec4f1c534f07e8dd4184
Authorize exact guarded rule sets
2026-08-02T07:39:50+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-02T07:39:50+00:00
urn:sha1:bb84c7baa15d11d2d63721b1f975aac94dc0f211
Prepare exact inductive declarations
2026-08-02T00:33:14+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-02T00:33:14+00:00
urn:sha1:d55d2416bc4f6a9aa055a17deae4fba0fe906316
Lower exact finite-set notation
2026-08-01T23:51:24+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-01T23:51:24+00:00
urn:sha1:fdbcc796be2b9f99da7133702f96687172d35eaa
Simplify typed inductive fact preparation
2026-07-28T19:05:10+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-28T18:38:41+00:00
urn:sha1:42642dcd116ed6d3394db563739288e7d077ab70
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
Authorize atomic facts through exact typed imports
2026-07-28T10:47:56+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-28T10:47:56+00:00
urn:sha1:fc5e25434ab57a1d878313c53de36ada62e63207