diff options
| author | Ian Valentin Christensen <valentianchristensen@gmail.com> | 2025-12-17 16:56:29 +0100 |
|---|---|---|
| committer | Ian Valentin Christensen <valentianchristensen@gmail.com> | 2025-12-17 16:56:29 +0100 |
| commit | 60455ab744a138ee3092ff3ce7dabccf252f5436 (patch) | |
| tree | 68bb121475b718e381be6f6b0214b059bcb45bbe /analysis-contract.md | |
| parent | 8ec106d855a2bb7ca371f9f07a82b009e0cb118b (diff) | |
add reasoning for theories, don't add fix mes, fix instead
Diffstat (limited to 'analysis-contract.md')
0 files changed, 0 insertions, 0 deletions