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

Age	Commit message (Collapse)	Author
30 hours	Migrate topological bases to exact checking	adelon

30 hours	Record topological space activation	adelon

30 hours	Activate exact topological spaces	adelon

30 hours	Migrate topological spaces to exact checking	adelon

31 hours	Record structure foundation migration	adelon

32 hours	Migrate preclosure spaces	adelon

32 hours	Migrate meet semilattices	adelon

32 hours	Shift contextual binders under exact binders	adelon

32 hours	Migrate loops to exact checking	adelon

32 hours	Migrate quasigroups to exact checking	adelon

32 hours	Migrate monoids to exact checking	adelon

32 hours	Migrate semigroups to exact checking	adelon

32 hours	Migrate magma to exact checking	adelon

33 hours	Support contextual exact abbreviations	adelon

33 hours	Clarify disjoint equivalence classes proof	adelon

34 hours	Keep API routing test synthetic	adelon

34 hours	Record typed relation closure frontier	adelon

34 hours	Activate exact relation closure checking	adelon

34 hours	Prove exact reflexive closure	adelon

34 hours	Activate exact equivalence checking	adelon

34 hours	Migrate equivalence proofs	adelon

34 hours	Move corpus verification to make lib	adelon

35 hours	Record exact order boundary	adelon

36 hours	Activate exact order checking	adelon

36 hours	Activate exact quasiorder checking	adelon

36 hours	Compile exact structure declarations	adelon

37 hours	Install base structure metadata in final prelude	adelon

37 hours	Persist exact structure descriptors	adelon

37 hours	Ignore commented source environments	adelon

37 hours	Check CSB ordered-pair authority	adelon

37 hours	Record equinumerosity migration	adelon

38 hours	Activate typed equinumerosity module	adelon

38 hours	Migrate equinumerosity proofs	adelon

38 hours	Support proof-local function graphs	adelon

42 hours	Confine indirect Vampire discharge	adelon

43 hours	Record Cantor and fixpoint migration	adelon

43 hours	Activate typed Cantor and fixpoint modules	adelon

43 hours	Migrate Cantor and fixpoint proofs	adelon

43 hours	Support terminal exact contradiction	adelon

43 hours	Check proof-local separation specialization	adelon

43 hours	Support proof-local set definitions	adelon

44 hours	Simplify exact function proofs	adelon

44 hours	Simplify exact product proofs	adelon

44 hours	Record function migration boundary	adelon

44 hours	Activate typed function module	adelon

44 hours	Migrate function proofs to exact checking	adelon

45 hours	Resolve source application through apply	adelon

45 hours	Check quantified subject semantics	adelon

45 hours	Record relation property migration	adelon

45 hours	Stabilize reflexive intersection proof	adelon