You are viewing a single comment's thread from:

RE: Free Books on the Coq Language & Proof Assistant

in #science • 9 years ago

Good post my friend...thanks for sharing.
I like your post @boucaron

9 years ago in #science by
100%
    10%25%50%75%100%
    $0.28
    • Past Payouts $0.28
    • - Author $0.27
    • - Curators $0.01
    15 votes
    Reply 1
    Sort:  
  • Trending