| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| hotg | Support proof-local function graphs | adelon | 2 hours | |
| Age | Commit message | Author | ||
| 2 hours | Support proof-local function graphsHEADhotg | adelon | ||
| 7 hours | Confine indirect Vampire discharge | adelon | ||
| 7 hours | Record Cantor and fixpoint migration | adelon | ||
| 7 hours | Activate typed Cantor and fixpoint modules | adelon | ||
| 7 hours | Migrate Cantor and fixpoint proofs | adelon | ||
| 8 hours | Support terminal exact contradiction | adelon | ||
| 8 hours | Check proof-local separation specialization | adelon | ||
| 8 hours | Support proof-local set definitions | adelon | ||
| 9 hours | Simplify exact function proofs | adelon | ||
| 9 hours | Simplify exact product proofs | adelon | ||
| [...] | ||||
 |
index : felix.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |