diff options
| author | rabble <evan@protest.net> | 2025-11-04 18:15:22 +1300 |
|---|---|---|
| committer | rabble <evan@protest.net> | 2025-11-04 18:15:22 +1300 |
| commit | d44476eee8c7b1df4ed99c760dc2a3c7874edc9a (patch) | |
| tree | 322414c09d6f44a7c61fa83fd6d17f9e26f142e3 /EE.md | |
| parent | 62f0b14ae81fd062bb84791bca698b29f6b573a3 (diff) | |
draft of the proofmode spec
Diffstat (limited to 'EE.md')
0 files changed, 0 insertions, 0 deletions