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

Age	Commit message (Expand)	Author
35 hours	Cut verification over to the typed driver	adelon
35 hours	Report admitted typed source state	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	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
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	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	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
3 days	Compile exact finite-set notation	adelon
3 days	Compile exact replacement comprehensions	adelon
3 days	Compile exact separation declarations	adelon
3 days	Exercise exact escape authority	adelon
3 days	Lower exact omitted proofs	adelon
3 days	Compile exact source axioms	adelon
3 days	Locate exact proof obligation failures	adelon
3 days	Compile exact ordinary proofs	adelon
4 days	Check exact declarations in typed modules	adelon
4 days	Coalesce equal direct syntax inputs	adelon
5 days	Route complete graphs through one checker	adelon
5 days	Freeze migration source routing	adelon