| Age | Commit message (Expand) | Author |
|---|---|---|
| 8 hours | Restore exact proof binder and witness formsHEADhotg | adelon |
| 46 hours | Support proof-local function graphs | adelon |
| 2 days | Support proof-local set definitions | adelon |
| 3 days | Rewrite protected set and naturals closure | adelon |
| 3 days | Prepare exact claim envelopes | adelon |
| 3 days | Prepare exact inductive declarations | adelon |
| 3 days | Lower exact finite-set notation | adelon |
| 3 days | Compile exact ordinary proofs | adelon |
| 3 days | Correct exact semantic resolution | adelon |
| 8 days | Prepare direct inductive kernel proofs | adelon |
| 8 days | Define bounded fixed-point kernel rules | adelon |
| 8 days | Check scoped canonical HOL terms | adelon |
| 8 days | Recheck frozen HOL terms canonically | adelon |
| 8 days | Freeze checked HOL terms canonically | adelon |
 |
index : felix.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |