peano-natural

Crates.iopeano-natural
lib.rspeano-natural
version0.2.1
sourcesrc
created_at2016-01-29 02:18:50.904632
updated_at2016-02-06 18:01:28.944128
descriptionType-level Peano naturals
homepage
repositoryhttps://github.com/strake/libreal.rs
max_upload_size
id4009
size12,855
M Farkas-Dyck (strake)

documentation

README

Commit count: 0

cargo fmt