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

Age	Commit message (Collapse)	Author
4 hours	Restore exact proof binder and witness formsHEAD hotg	adelon

5 hours	Restore implicit set construction routing	adelon

8 hours	Fix structure carrier membership lowering	adelon

36 hours	Shift contextual binders under exact binders	adelon

37 hours	Support contextual exact abbreviations	adelon

41 hours	Compile exact structure declarations	adelon

42 hours	Support proof-local function graphs	adelon

48 hours	Support terminal exact contradiction	adelon

2 days	Support proof-local set definitions	adelon

2 days	Resolve source application through apply	adelon

2 days	Check quantified subject semantics	adelon

2 days	Compile quantified exact noun subjects	adelon

2 days	Advance cache epoch for relation lowering	adelon

2 days	Lower relation expressions through ordered pairs	adelon

2 days	Confine set induction to outer proofs	adelon

2 days	Rewrite protected set and naturals closure	adelon

3 days	Recognize fixed set noun exactly	adelon
	Marker-only recognition admitted unsupported noun headers into persistent typed results. Advance the disposable cache epoch to 10.
3 days	Generalize exact source axioms	adelon

3 days	Open exact claim envelopes in proofs	adelon

3 days	Lower fixed exact set terms uniformly	adelon

3 days	Prepare exact datatype declarations	adelon

3 days	Authorize exact guarded rule sets	adelon

3 days	Prepare 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

3 days	Check exact declarations in typed modules	adelon