Disgruntled Code

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