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

Age	Commit message (Expand)	Author
3 days	Remove obsolete verification machinery	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	Activate the typed aggregate library	adelon
3 days	Activate exact topology consumers	adelon
3 days	Activate exact topological spaces	adelon
3 days	Migrate preclosure spaces	adelon
3 days	Migrate meet semilattices	adelon
3 days	Shift contextual binders under exact binders	adelon
3 days	Migrate loops to exact checking	adelon
3 days	Migrate quasigroups to exact checking	adelon
3 days	Migrate monoids to exact checking	adelon
3 days	Migrate semigroups to exact checking	adelon
3 days	Migrate magma to exact checking	adelon
3 days	Support contextual exact abbreviations	adelon
3 days	Keep API routing test synthetic	adelon
3 days	Activate exact relation closure checking	adelon
3 days	Activate exact equivalence checking	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
3 days	Persist exact structure descriptors	adelon
3 days	Ignore commented source environments	adelon
3 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
4 days	Check proof-local separation specialization	adelon
4 days	Support proof-local set definitions	adelon
4 days	Activate typed function module	adelon
4 days	Resolve source application through apply	adelon
4 days	Check quantified subject semantics	adelon
4 days	Activate relation property typed roots	adelon
4 days	Compile quantified exact noun subjects	adelon
4 days	Advance cache epoch for relation lowering	adelon
4 days	Activate base relation typed root	adelon
4 days	Lower relation expressions through ordered pairs	adelon
4 days	Activate product and filter typed roots	adelon
4 days	Align successor with canonical set insertion	adelon
4 days	Activate elementary set modules	adelon
4 days	Publish checked powerset foundation fact	adelon
4 days	Separate ordered tuples from PairSet	adelon
4 days	Confine set induction to outer proofs	adelon
4 days	Activate packaged prelude for protected roots	adelon