| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Update Token.hs | adelon | 3 months | |
| Age | Commit message | Author | ||
| 2025-08-23 | Update Token.hsHEADmain | adelon | ||
| 2025-08-23 | Update urysohntwo.tex | adelon | ||
| 2025-08-14 | Improve scanning | adelon | ||
| 2025-08-12 | Relax function symbol definitions | adelon | ||
| 2025-08-12 | Allow relation symbols with parameters | adelon | ||
| 2025-07-31 | Remove unused keyword | adelon | ||
| 2025-07-16 | Relax label syntax | adelon | ||
| 2025-07-16 | Add quantified calcs and relax tokenization | adelon | ||
| 2025-07-09 | Update function.tex | adelon | ||
| 2025-07-09 | Refine `bijection_circ` | adelon | ||
| [...] | ||||
 |
index : naproche-zf.git | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |