| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Link to reserved Zenodo DOI |  Rutger Broekhoff | 6 months | |
| Age | Commit message | Author | Files | Lines |
| 2024-06-27 | Link to reserved Zenodo DOIHEADmain | Rutger Broekhoff | 1 | -3/+6 |
| 2024-06-27 | Update README | Rutger Broekhoff | 1 | -7/+14 |
| 2024-06-27 | Update README | Rutger Broekhoff | 1 | -2/+3 |
| 2024-06-27 | Be consistent in notation of simplify_eq/= | Rutger Broekhoff | 2 | -5/+5 |
| 2024-06-27 | Update README | Rutger Broekhoff | 1 | -9/+15 |
| 2024-06-27 | Tidy up project | Rutger Broekhoff | 11 | -287/+221 |
| 2024-06-26 | Import Coq project | Rutger Broekhoff | 18 | -0/+3717 |
| Clone | ||||
| https://git.fautchen.eu/mininix-formalization.git | ||||
 |
index : mininix-formalization | |
| Coq Formalization for Mininix | Rutger Broekhoff |
| aboutsummaryrefslogtreecommitdiffstats |