felix.git/source/Checking/Core.hs, branch hotg
Unnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg
2026-08-03T06:55:22+00:00
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
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
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
Prepare exact claim envelopes
2026-08-02T10:27:49+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-02T10:27:49+00:00
urn:sha1:e827efe3db5d62fab5fc6dc9c3d15b8488af6b09
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
Compile exact ordinary proofs
2026-08-01T20:22:20+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-01T20:22:20+00:00
urn:sha1:ed4fef55d7a9872ef54d6b2ebae1efd89922f62c
Correct exact semantic resolution
2026-08-01T18:41:05+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-01T18:41:05+00:00
urn:sha1:f7d3e87925d70cd1d3f0a14297fa451dbf079d30
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
Define bounded fixed-point kernel rules
2026-07-28T11:04:12+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-28T11:04:12+00:00
urn:sha1:63503003ca8022ad9890396866f52bf56bcb252d