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

Age	Commit message (Expand)	Author
8 hours	Restore exact proof binder and witness formsHEAD hotg	adelon
10 hours	Restore fixed equality aliases	adelon
12 hours	Fix structure carrier membership lowering	adelon
15 hours	Tighten executor and candidate invariants	adelon
15 hours	Unify checked candidate planning	adelon
21 hours	Plan and admit module declarations prospectively	adelon
21 hours	Route declarations through checked envelopes	adelon
31 hours	Batch ready declaration obligations	adelon
41 hours	Shift contextual binders under exact binders	adelon
41 hours	Support contextual exact abbreviations	adelon
45 hours	Compile exact structure declarations	adelon
46 hours	Support proof-local function graphs	adelon
2 days	Support proof-local set definitions	adelon
2 days	Resolve source application through apply	adelon
2 days	Compile quantified exact noun subjects	adelon
2 days	Lower relation expressions through ordered pairs	adelon
3 days	Rewrite protected set and naturals closure	adelon
3 days	Publish protected foundation facts	adelon
3 days	Confine final prelude construction	adelon
3 days	Recognize fixed set noun exactly	adelon
3 days	Generalize exact source axioms	adelon
3 days	Prepare exact claim envelopes	adelon
3 days	Lower fixed exact set terms uniformly	adelon
3 days	Share exact primitive vocabulary	adelon
3 days	Lower exact finite-set notation	adelon
3 days	Lower exact replacement telescopes	adelon
3 days	Lower exact separation comprehensions	adelon
3 days	Compile exact source axioms	adelon
3 days	Compile exact ordinary proofs	adelon
3 days	Share exact scoped elaboration	adelon
3 days	Remove unused exact binder identities	adelon
3 days	Correct exact semantic resolution	adelon
3 days	Distinguish semantic global targets	adelon
4 days	Check exact declarations in typed modules	adelon
4 days	Authorize exact defining equations	adelon
4 days	Compile exact declarations to checked core	adelon