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

Age	Commit message (Expand)	Author
3 hours	Migrate to `Felix` namespaceHEAD hotg	adelon
6 hours	Move to Felix namespace	adelon
6 hours	Remove some ZF stuff	adelon
7 hours	Simplify entry/CLI, track slowest ATP tasks	adelon
22 hours	Update Core.hs	adelon
23 hours	Make finite-set literals intrinsic	adelon
24 hours	Normalize transparent inductive contexts	adelon
25 hours	Support exact nested inductive contexts	adelon
26 hours	Qualify definition migration diagnostics	adelon
26 hours	Close exact definition declaration boundary	adelon
26 hours	Tighten quantified-term scope coverage	adelon
27 hours	Restore quantified terms in proposition contexts	adelon
27 hours	Pin relational extensional schema	adelon
27 hours	Retain formula-quantifier induction names	adelon
28 hours	Restore checked relational replacement	adelon
28 hours	Retain source names for omitted set induction	adelon
29 hours	Restore checked set-induction composition	adelon
30 hours	Confine contradictory status to falsum targets	adelon
30 hours	Restore exact cases and contradiction	adelon
31 hours	Tighten exact calculation invariants	adelon
43 hours	Restore exact local reasoning proofs	adelon
43 hours	Simplify checked set construction invariants	adelon
44 hours	Audit the exact Omega fact batch	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
47 hours	Restore implicit set construction routing	adelon
48 hours	Restore fixed equality aliases	adelon
2 days	Fix structure carrier membership lowering	adelon
2 days	Tighten executor and candidate invariants	adelon
2 days	Unify checked candidate planning	adelon
2 days	Make Vampire resolution modes explicit	adelon
2 days	Cleanup	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
2 days	Separate declaration semantics from evidence	adelon
2 days	Add owned Vampire request handles	adelon
3 days	Prioritize batch integrity failures	adelon
3 days	Batch ready declaration obligations	adelon
3 days	Reject the packaged prelude as ordinary source	adelon
3 days	Remove obsolete verification machinery	adelon
3 days	Cut verification over to the typed driver	adelon
3 days	Report admitted typed source state	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	Compile exact structure declarations	adelon
3 days	Install base structure metadata in final prelude	adelon