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

Age	Commit message (Expand)	Author
10 hours	Support proof-local function graphsHEAD hotg	adelon
15 hours	Confine indirect Vampire discharge	adelon
15 hours	Record Cantor and fixpoint migration	adelon
15 hours	Activate typed Cantor and fixpoint modules	adelon
15 hours	Migrate Cantor and fixpoint proofs	adelon
16 hours	Support terminal exact contradiction	adelon
16 hours	Check proof-local separation specialization	adelon
16 hours	Support proof-local set definitions	adelon
17 hours	Simplify exact function proofs	adelon
17 hours	Simplify exact product proofs	adelon
17 hours	Record function migration boundary	adelon
17 hours	Activate typed function module	adelon
17 hours	Migrate function proofs to exact checking	adelon
17 hours	Resolve source application through apply	adelon
18 hours	Check quantified subject semantics	adelon
18 hours	Record relation property migration	adelon
18 hours	Stabilize reflexive intersection proof	adelon
18 hours	Activate relation property typed roots	adelon
18 hours	Compile quantified exact noun subjects	adelon
18 hours	Migrate relation uniqueness proofs to exact checking	adelon
18 hours	Migrate relation property proofs to exact checking	adelon
18 hours	Stabilize converse subset proof	adelon
18 hours	Advance cache epoch for relation lowering	adelon
19 hours	Record base relation migration	adelon
19 hours	Activate base relation typed root	adelon
19 hours	Migrate base relation proofs to exact checking	adelon
20 hours	Lower relation expressions through ordered pairs	adelon
20 hours	Record product and filter migration	adelon
20 hours	Activate product and filter typed roots	adelon
20 hours	Migrate filter proofs to exact checking	adelon
21 hours	Migrate product proofs to exact checking	adelon
21 hours	Document canonical successor identity	adelon
21 hours	Align successor with canonical set insertion	adelon
22 hours	Record elementary set migration status	adelon
22 hours	Activate elementary set modules	adelon
22 hours	Migrate elementary set proofs to exact checking	adelon
22 hours	Publish checked powerset foundation fact	adelon
22 hours	Separate ordered tuples from PairSet	adelon
24 hours	Confine set induction to outer proofs	adelon
24 hours	Activate packaged prelude for protected roots	adelon
25 hours	Rewrite protected set and naturals closure	adelon
27 hours	Publish protected foundation facts	adelon
27 hours	Publish packaged final prelude atomically	adelon
28 hours	Narrow final prelude validation	adelon
28 hours	Retain exact omitted-proof locations	adelon
28 hours	Bind final prelude to packaged source	adelon
29 hours	Validate final prelude roles	adelon
29 hours	Confine final prelude construction	adelon
30 hours	Confine final prelude foundation leaves	adelon
30 hours	Parse packaged final prelude source	adelon