diff options
| author | Jaron Kent-Dobias <jaron@kent-dobias.com> | 2023-01-23 12:00:35 +0100 |
|---|---|---|
| committer | Jaron Kent-Dobias <jaron@kent-dobias.com> | 2023-01-23 12:00:35 +0100 |
| commit | 4045e729291d6a589fd48c79a154be9f81a1f2ad (patch) | |
| tree | cb16e8313452ac19ca06fbe2f2a47dd68bfac7a1 /proofs | |
| parent | c4182fa022ceebd61cfbfe258fbc0f3294ea72cb (diff) | |
| download | PRE_107_064111-4045e729291d6a589fd48c79a154be9f81a1f2ad.tar.gz PRE_107_064111-4045e729291d6a589fd48c79a154be9f81a1f2ad.tar.bz2 PRE_107_064111-4045e729291d6a589fd48c79a154be9f81a1f2ad.zip | |
Fancier formatting.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions