Mostly a mathematician now, but still hacking some Coq and tinkering with Arch Linux.
-
Graduate School of Mathematics, Nagoya University
- Nagoya, Japan
- https://www.xuanruiqi.com
Highlights
- Pro
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.