diff options
| author | Brian Campbell | 2019-06-06 17:05:41 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-06-06 18:03:34 +0100 |
| commit | d9862ba2019df1d197bcba3ce85f7fa3ba8576b0 (patch) | |
| tree | 0b51b5104a4d003104f9ea67f1cfa82798d88bec /README.md | |
| parent | cebf08acc9a278b1b9652a56bd0c506d2f6268f6 (diff) | |
Coq: tweak bool to Z to use less memory
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions