felix.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Collapse)	Author
3 hours	Migrate to `Felix` namespaceHEAD hotg	adelon

22 hours	Update Core.hs	adelon

23 hours	Make finite-set literals intrinsic	adelon

24 hours	Normalize transparent inductive contexts	adelon

29 hours	Restore checked set-induction composition	adelon

30 hours	Restore exact cases and contradiction	adelon

43 hours	Restore exact local reasoning proofs	adelon

44 hours	Centralize checked set constructions	adelon

45 hours	Complete named construction premise views	adelon

46 hours	Restore exact proof binder and witness forms	adelon

4 days	Support proof-local function graphs	adelon

4 days	Support proof-local set definitions	adelon

4 days	Rewrite protected set and naturals closure	adelon

4 days	Prepare exact claim envelopes	adelon

5 days	Prepare exact inductive declarations	adelon

5 days	Lower exact finite-set notation	adelon

5 days	Compile exact ordinary proofs	adelon

5 days	Correct exact semantic resolution	adelon

9 days	Prepare direct inductive kernel proofs	adelon

9 days	Define bounded fixed-point kernel rules	adelon

9 days	Check scoped canonical HOL terms	adelon

9 days	Recheck frozen HOL terms canonically	adelon

9 days	Freeze checked HOL terms canonically	adelon