aboutsummaryrefslogtreecommitdiff
path: root/LICENSE
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-08-06 01:16:56 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-08-06 01:16:56 +0900
commit80ff85f0f558e31a5aff784b2d38547c870f9d95 (patch)
treefa998e28fa0b67a5cbd1e214b9921631466f90a8 /LICENSE
parentab711cc5ce71ee2feaa4e88a0b9af113c2d67e3d (diff)
peano: Add nat* function and theorems.
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions