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

Age	Commit message (Expand)	Author
23 hours	Make finite-set literals intrinsic	adelon
24 hours	Migrate historical parity examples	adelon
24 hours	Normalize transparent inductive contexts	adelon
25 hours	Support exact nested inductive contexts	adelon
26 hours	Close exact definition declaration boundary	adelon
26 hours	Tighten quantified-term scope coverage	adelon
27 hours	Restore quantified terms in proposition contexts	adelon
27 hours	Retain formula-quantifier induction names	adelon
28 hours	Test relational replacement transactions	adelon
28 hours	Retain source names for omitted set induction	adelon
29 hours	Test general exact set induction	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	Test exact local reasoning admission	adelon
44 hours	Repair named separation regression	adelon
45 hours	Complete named construction premise views	adelon
46 hours	Restore exact proof binder and witness forms	adelon
47 hours	Restore implicit set construction routing	adelon
2 days	Fix structure carrier membership lowering	adelon
2 days	Validate speculative admission ordering	adelon
3 days	Batch ready declaration obligations	adelon
3 days	Run ready typed modules concurrently	adelon
3 days	Remove obsolete verification machinery	adelon
3 days	Cut verification over to the typed driver	adelon
3 days	Report admitted typed source state	adelon
3 days	Shift contextual binders under exact binders	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	Support terminal exact contradiction	adelon
4 days	Support proof-local set definitions	adelon
4 days	Resolve source application through apply	adelon
4 days	Check quantified subject semantics	adelon
4 days	Compile quantified exact noun subjects	adelon
4 days	Advance cache epoch for relation lowering	adelon
4 days	Lower relation expressions through ordered pairs	adelon
4 days	Confine set induction to outer proofs	adelon
4 days	Rewrite protected set and naturals closure	adelon
4 days	Recognize fixed set noun exactly	adelon
4 days	Generalize exact source axioms	adelon
4 days	Open exact claim envelopes in proofs	adelon
4 days	Lower fixed exact set terms uniformly	adelon
4 days	Prepare exact datatype declarations	adelon
4 days	Authorize exact guarded rule sets	adelon
5 days	Prepare exact inductive declarations	adelon
5 days	Compile exact finite-set notation	adelon
5 days	Compile exact replacement comprehensions	adelon
5 days	Compile exact separation declarations	adelon
5 days	Exercise exact escape authority	adelon