Lib.rs
›
Users
#
modus
#
universal
#
inference
enriquepablo
Enrique Pérez Arnaud
Joined crates-io 4 years ago. Joined GitHub 14 years ago.
GitHub
crates.io
Home (nl-project.blogspot.com)
Maintainer dashboard
Member of GitHub orgs
Yaco-Sistemas
enriquepablo created 4 crates
modus_ponens_derive
Sole owner since May 2020. Last updated 3 years ago.
modus_ponens
Sole owner since May 2020. Last updated 3 years ago.
uindex_derive
Sole owner since May 2021. Last updated 3 years ago.
uindex
Sole owner since May 2021. Last updated 3 years ago.