diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-06 01:16:56 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-06 01:16:56 +0900 |
| commit | 80ff85f0f558e31a5aff784b2d38547c870f9d95 (patch) | |
| tree | fa998e28fa0b67a5cbd1e214b9921631466f90a8 /.gitignore | |
| parent | ab711cc5ce71ee2feaa4e88a0b9af113c2d67e3d (diff) | |
peano: Add nat* function and theorems.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions