Lib.rs

› Users #datalog #equality

yihozhang

Yihong Zhang

Joined crates-io a month ago. Joined GitHub 8 years ago.

Member of GitHub orgs

uwplse, hkust-taco

Shares crates with

oflatt

Co-owns 1 crate