Geeks
nyuichi
/
shari
Shari the :sushi: prover
Primary Language
Rust
shari GitHub
Markdown
Readme
0
Issues
5
Stargazers
3
Watchers
Stargazers
4thel00z
gfngfn
Kyoto, Japan
MasWag
Kyoto University
pandaman64
Japan
zeptometer
Kyoto