diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-06-20 10:18:25 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-06-20 10:18:25 +0100 |
| commit | 11ff840afe29c5340582e513613dc70c13879997 (patch) | |
| tree | 4c9b3081eab5c969d2f25ce0157295f6eaae0ce6 /src/translation | |
| parent | 2d10f818ff05b028ab2930d3ccfddd5a11bb1ad0 (diff) | |
| download | vericert-11ff840afe29c5340582e513613dc70c13879997.tar.gz vericert-11ff840afe29c5340582e513613dc70c13879997.zip | |
Add proof of nat equiv
Diffstat (limited to 'src/translation')
0 files changed, 0 insertions, 0 deletions