| Age | Commit message (Expand) | Author |
|---|---|---|
| 46 hours | Support proof-local function graphs | adelon |
| 2 days | Check proof-local separation specialization | adelon |
| 2 days | Confine set induction to outer proofs | adelon |
| 8 days | Prepare direct inductive kernel proofs | 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 |