diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2023-09-04 09:02:26 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2023-09-04 09:02:26 +0200 |
| commit | 27373b5ad4455d7f9ccd59de0c67a3ae950bc589 (patch) | |
| tree | e86a630a2a63335d9dc868137dcd964cc67c9592 /proof/index.md | |
| parent | e7745d1819d75ad475ae42969aed4a1d76786ca7 (diff) | |
manifest: rephrase examples
Diffstat (limited to 'proof/index.md')
0 files changed, 0 insertions, 0 deletions