Lib.rs

›
#hydra #notation #ordinal #analysis #n-ary

hydra-nary

n-ary hydra notation for ordinal analysis

Owned by SasakiSaki.

1 unstable release

0.0.0 Aug 22, 2023

#8 in #hydra

MPL-2.0 license

16KB
182 lines

Title

Dependencies

~175KB