Computers / Math / Stuff
Posts tagged with "subset types".
What I Learned This Week: Subset types, real numbers, and more Coq
- November 12, 2017
What I Learned This Week: Real Numbers in Coq
- November 5, 2017
Copyright © 2014