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

Age	Commit message (Expand)	Author
19 hours	Support contextual exact abbreviations	adelon
20 hours	Clarify disjoint equivalence classes proof	adelon
20 hours	Keep API routing test synthetic	adelon
21 hours	Record typed relation closure frontier	adelon
21 hours	Activate exact relation closure checking	adelon
21 hours	Prove exact reflexive closure	adelon
21 hours	Activate exact equivalence checking	adelon
21 hours	Migrate equivalence proofs	adelon
21 hours	Move corpus verification to make lib	adelon
22 hours	Record exact order boundary	adelon
22 hours	Activate exact order checking	adelon
23 hours	Activate exact quasiorder checking	adelon
23 hours	Compile exact structure declarations	adelon
24 hours	Install base structure metadata in final prelude	adelon
24 hours	Persist exact structure descriptors	adelon
24 hours	Ignore commented source environments	adelon
24 hours	Check CSB ordered-pair authority	adelon
24 hours	Record equinumerosity migration	adelon
24 hours	Activate typed equinumerosity module	adelon
24 hours	Migrate equinumerosity proofs	adelon
25 hours	Support proof-local function graphs	adelon
29 hours	Confine indirect Vampire discharge	adelon
30 hours	Record Cantor and fixpoint migration	adelon
30 hours	Activate typed Cantor and fixpoint modules	adelon
30 hours	Migrate Cantor and fixpoint proofs	adelon
30 hours	Support terminal exact contradiction	adelon
30 hours	Check proof-local separation specialization	adelon
30 hours	Support proof-local set definitions	adelon
31 hours	Simplify exact function proofs	adelon
31 hours	Simplify exact product proofs	adelon
31 hours	Record function migration boundary	adelon
31 hours	Activate typed function module	adelon
31 hours	Migrate function proofs to exact checking	adelon
32 hours	Resolve source application through apply	adelon
32 hours	Check quantified subject semantics	adelon
32 hours	Record relation property migration	adelon
32 hours	Stabilize reflexive intersection proof	adelon
32 hours	Activate relation property typed roots	adelon
32 hours	Compile quantified exact noun subjects	adelon
32 hours	Migrate relation uniqueness proofs to exact checking	adelon
32 hours	Migrate relation property proofs to exact checking	adelon
33 hours	Stabilize converse subset proof	adelon
33 hours	Advance cache epoch for relation lowering	adelon
33 hours	Record base relation migration	adelon
33 hours	Activate base relation typed root	adelon
33 hours	Migrate base relation proofs to exact checking	adelon
34 hours	Lower relation expressions through ordered pairs	adelon
34 hours	Record product and filter migration	adelon
34 hours	Activate product and filter typed roots	adelon
34 hours	Migrate filter proofs to exact checking	adelon