felix.git/source/Checking.hs, branch hotg
Unnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg
2026-08-03T19:00:28+00:00
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
Locate invalid datatype premises
2026-08-02T09:49:59+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-02T09:34:54+00:00
urn:sha1:1a5a90ac0c8a88f4076cc77c82159609f92080e4
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 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
Render checking markers directly
2026-07-31T22:52:48+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-31T22:52:48+00:00
urn:sha1:44a4f3b78f3d21fd6c61a5c01a0026d75b913519
Restore precise verification diagnostics
2026-07-31T20:43:16+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-31T20:43:16+00:00
urn:sha1:91cea9ad8e320138ddffdbdcdc94edc789f1c14e
Require stores for verification commands
2026-07-31T19:52:15+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-31T19:52:15+00:00
urn:sha1:b4dac1818cdfddd11a0d75e2dfca4946bfc9cc4f
Bind typed fact admission to module builders
2026-07-28T19:05:10+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-28T18:02:29+00:00
urn:sha1:31b3b098730f9c58b57a0be85d1b878b32142e07
Check direct inductives through fixed-point replay
2026-07-28T12:54:42+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-28T12:54:42+00:00
urn:sha1:ba4acdaa305d01469f66cd316edde4d22ea2fff9
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