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
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
41 hours	Support contextual exact abbreviations	adelon
45 hours	Compile exact structure declarations	adelon
46 hours	Support proof-local function graphs	adelon
2 days	Confine indirect Vampire discharge	adelon
2 days	Support terminal exact contradiction	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	Separate ordered tuples from PairSet	adelon
2 days	Confine set induction to outer proofs	adelon
3 days	Rewrite protected set and naturals closure	adelon
3 days	Narrow final prelude validation	adelon
3 days	Retain exact omitted-proof locations	adelon
3 days	Confine final prelude construction	adelon
3 days	Confine final prelude foundation leaves	adelon
3 days	Open exact claim envelopes in proofs	adelon
3 days	Strengthen exact datatype trust boundary	adelon
3 days	Locate invalid datatype premises	adelon
3 days	Lower fixed exact set terms uniformly	adelon
3 days	Authorize exact datatype families	adelon
3 days	Prepare exact datatype declarations	adelon
3 days	Authorize exact guarded rule sets	adelon
3 days	Share exact primitive vocabulary	adelon
3 days	Prepare exact inductive declarations	adelon
3 days	Lower exact omitted proofs	adelon
3 days	Derive exact proof premise selection	adelon
3 days	Confine scoped proof composition	adelon
3 days	Locate exact proof obligation failures	adelon
3 days	Compile exact ordinary proofs	adelon