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

Age	Commit message (Expand)	Author
8 hours	Restore exact proof binder and witness formsHEAD hotg	adelon
9 hours	Restore implicit set construction routing	adelon
10 hours	Restore fixed equality aliases	adelon
12 hours	Fix structure carrier membership lowering	adelon
32 hours	Run ready typed modules concurrently	adelon
34 hours	Read the packaged prelude by canonical path	adelon
34 hours	Reject the packaged prelude as ordinary source	adelon
34 hours	Remove obsolete verification machinery	adelon
35 hours	Cut verification over to the typed driver	adelon
35 hours	Report admitted typed source state	adelon
36 hours	Bound cached semantic inventory validation	adelon
36 hours	Render final-prelude diagnostics	adelon
37 hours	Activate the typed aggregate library	adelon
38 hours	Activate exact topology consumers	adelon
39 hours	Activate exact topological spaces	adelon
40 hours	Migrate preclosure spaces	adelon
40 hours	Migrate meet semilattices	adelon
41 hours	Shift contextual binders under exact binders	adelon
41 hours	Migrate loops to exact checking	adelon
41 hours	Migrate quasigroups to exact checking	adelon
41 hours	Migrate monoids to exact checking	adelon
41 hours	Migrate semigroups to exact checking	adelon
41 hours	Migrate magma to exact checking	adelon
41 hours	Support contextual exact abbreviations	adelon
43 hours	Activate exact relation closure checking	adelon
43 hours	Activate exact equivalence checking	adelon
44 hours	Activate exact order checking	adelon
44 hours	Activate exact quasiorder checking	adelon
45 hours	Persist exact structure descriptors	adelon
46 hours	Activate typed equinumerosity module	adelon
46 hours	Support proof-local function graphs	adelon
2 days	Activate typed Cantor and fixpoint modules	adelon
2 days	Support terminal exact contradiction	adelon
2 days	Support proof-local set definitions	adelon
2 days	Activate typed function module	adelon
2 days	Resolve source application through apply	adelon
2 days	Activate relation property typed roots	adelon
2 days	Compile quantified exact noun subjects	adelon
2 days	Advance cache epoch for relation lowering	adelon
2 days	Activate base relation typed root	adelon
2 days	Lower relation expressions through ordered pairs	adelon
2 days	Activate product and filter typed roots	adelon
2 days	Activate elementary set modules	adelon
2 days	Separate ordered tuples from PairSet	adelon
2 days	Confine set induction to outer proofs	adelon
3 days	Activate packaged prelude for protected roots	adelon
3 days	Rewrite protected set and naturals closure	adelon
3 days	Publish protected foundation facts	adelon
3 days	Parse packaged final prelude source	adelon
3 days	Recognize fixed set noun exactly	adelon