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

Age	Commit message (Collapse)	Author
3 hours	Migrate to `Felix` namespaceHEAD hotg	adelon

6 hours	Move to Felix namespace	adelon

23 hours	Make finite-set literals intrinsic	adelon

25 hours	Support exact nested inductive contexts	adelon

27 hours	Retain formula-quantifier induction names	adelon

28 hours	Restore checked relational replacement	adelon

28 hours	Retain source names for omitted set induction	adelon

29 hours	Restore checked set-induction composition	adelon

30 hours	Confine contradictory status to falsum targets	adelon

30 hours	Restore exact cases and contradiction	adelon

31 hours	Tighten exact calculation invariants	adelon

43 hours	Restore exact local reasoning proofs	adelon

44 hours	Centralize checked set constructions	adelon

45 hours	Complete named construction premise views	adelon

46 hours	Restore exact proof binder and witness forms	adelon

48 hours	Restore fixed equality aliases	adelon

2 days	Tighten executor and candidate invariants	adelon

2 days	Unify checked candidate planning	adelon

2 days	Plan and admit module declarations prospectively	adelon

2 days	Route declarations through checked envelopes	adelon

3 days	Support contextual exact abbreviations	adelon

3 days	Compile exact structure declarations	adelon

4 days	Support proof-local function graphs	adelon

4 days	Confine indirect Vampire discharge	adelon

4 days	Support terminal exact contradiction	adelon

4 days	Support proof-local set definitions	adelon

4 days	Resolve source application through apply	adelon

4 days	Compile quantified exact noun subjects	adelon

4 days	Separate ordered tuples from PairSet	adelon

4 days	Confine set induction to outer proofs	adelon

4 days	Rewrite protected set and naturals closure	adelon

4 days	Narrow final prelude validation	adelon

4 days	Retain exact omitted-proof locations	adelon

4 days	Confine final prelude construction	adelon

4 days	Confine final prelude foundation leaves	adelon

4 days	Open exact claim envelopes in proofs	adelon

4 days	Strengthen exact datatype trust boundary	adelon

4 days	Locate invalid datatype premises	adelon

4 days	Lower fixed exact set terms uniformly	adelon

4 days	Authorize exact datatype families	adelon

4 days	Prepare exact datatype declarations	adelon

4 days	Authorize exact guarded rule sets	adelon

4 days	Share exact primitive vocabulary	adelon

5 days	Prepare exact inductive declarations	adelon

5 days	Lower exact omitted proofs	adelon

5 days	Derive exact proof premise selection	adelon

5 days	Confine scoped proof composition	adelon

5 days	Locate exact proof obligation failures	adelon

5 days	Compile exact ordinary proofs	adelon