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

Age	Commit message (Collapse)	Author
41 hours	Cut verification over to the typed driver	adelon

42 hours	Report admitted typed source state	adelon

44 hours	Activate the typed aggregate library	adelon

45 hours	Activate exact topology consumers	adelon

46 hours	Activate exact topological spaces	adelon

47 hours	Migrate preclosure spaces	adelon

47 hours	Migrate meet semilattices	adelon

48 hours	Migrate loops to exact checking	adelon

48 hours	Migrate quasigroups to exact checking	adelon

48 hours	Migrate monoids to exact checking	adelon

48 hours	Migrate semigroups to exact checking	adelon

48 hours	Migrate magma to exact checking	adelon

48 hours	Support contextual exact abbreviations	adelon

2 days	Activate exact relation closure checking	adelon

2 days	Activate exact equivalence checking	adelon

2 days	Activate exact order checking	adelon

2 days	Activate exact quasiorder checking	adelon

2 days	Activate typed equinumerosity module	adelon

2 days	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

3 days	Resolve source application through apply	adelon

3 days	Activate relation property typed roots	adelon

3 days	Compile quantified exact noun subjects	adelon

3 days	Activate base relation typed root	adelon

3 days	Lower relation expressions through ordered pairs	adelon

3 days	Activate product and filter typed roots	adelon

3 days	Activate elementary set modules	adelon

3 days	Confine set induction to outer proofs	adelon

3 days	Activate packaged prelude for protected roots	adelon

3 days	Compile exact datatype declarations	adelon

3 days	Authorize exact guarded rule sets	adelon

3 days	Compile exact inductive declarations	adelon

4 days	Compile exact finite-set notation	adelon

4 days	Compile exact replacement comprehensions	adelon

4 days	Compile exact separation declarations	adelon

4 days	Exercise exact escape authority	adelon

4 days	Lower exact omitted proofs	adelon

4 days	Compile exact source axioms	adelon

4 days	Locate exact proof obligation failures	adelon

4 days	Compile exact ordinary proofs	adelon

4 days	Check exact declarations in typed modules	adelon

5 days	Coalesce equal direct syntax inputs	adelon

5 days	Route complete graphs through one checker	adelon

6 days	Freeze migration source routing	adelon