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

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

7 hours	Move to Felix namespace	adelon

7 hours	Simplify entry/CLI, track slowest ATP tasks	adelon

23 hours	Make finite-set literals intrinsic	adelon

25 hours	Normalize transparent inductive contexts	adelon

25 hours	Support exact nested inductive contexts	adelon

26 hours	Qualify definition migration diagnostics	adelon

27 hours	Close exact definition declaration boundary	adelon

27 hours	Restore quantified terms in proposition contexts	adelon

28 hours	Retain formula-quantifier induction names	adelon

28 hours	Test relational replacement transactions	adelon

29 hours	Retain source names for omitted set induction	adelon

29 hours	Test general exact set induction	adelon

30 hours	Confine contradictory status to falsum targets	adelon

31 hours	Restore exact cases and contradiction	adelon

31 hours	Tighten exact calculation invariants	adelon

43 hours	Test exact local reasoning admission	adelon

44 hours	Audit the exact Omega fact batch	adelon

45 hours	Repair named separation regression	adelon

45 hours	Complete named construction premise views	adelon

47 hours	Restore exact proof binder and witness forms	adelon

48 hours	Restore implicit set construction routing	adelon

2 days	Fix structure carrier membership lowering	adelon

2 days	Name prospective lowering explicitly	adelon

2 days	Validate speculative admission ordering	adelon

2 days	Plan and admit module declarations prospectively	adelon

2 days	Route declarations through checked envelopes	adelon

3 days	Batch ready declaration obligations	adelon

3 days	Remove unsupported concurrency metrics	adelon

3 days	Run ready typed modules concurrently	adelon

3 days	Reuse verified presentation for HTML	adelon

3 days	Keep production corpus checks out of unit tests	adelon

3 days	Cut verification over to the typed driver	adelon

3 days	Classify typed verification failures	adelon

3 days	Report admitted typed source state	adelon

3 days	Render final-prelude diagnostics	adelon

3 days	Acquire the final prelude through the cache	adelon

3 days	Shift contextual binders under exact binders	adelon

3 days	Support contextual exact abbreviations	adelon

3 days	Keep API routing test synthetic	adelon

3 days	Move corpus verification to make lib	adelon

3 days	Activate exact order checking	adelon

3 days	Activate exact quasiorder checking	adelon

3 days	Compile exact structure declarations	adelon

3 days	Install base structure metadata in final prelude	adelon

4 days	Check CSB ordered-pair authority	adelon

4 days	Activate typed equinumerosity module	adelon

4 days	Support proof-local function graphs	adelon

4 days	Activate typed Cantor and fixpoint modules	adelon

4 days	Support terminal exact contradiction	adelon