diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2023-09-04 07:17:41 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2023-09-04 07:17:41 +0200 |
| commit | 56c9b302b08e9d1e6ca8cfd757e47d359776dbd0 (patch) | |
| tree | 0f88e3638a37ba2103fb95c8973ad2f09db41999 /proof/index.md | |
| parent | 85047094c2faa129619381da83c238aed7a538d5 (diff) | |
link to data and software from front page
Diffstat (limited to 'proof/index.md')
0 files changed, 0 insertions, 0 deletions