Computational biology in Python and R.
Formally verified mathematics in Coq.
-
University of Pennsylvania
- Philadelphia, Pennsylvania
- math.wisc.edu/~nicodemus
- @PatNicodemus
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.