• Sign in
  • Sign up 
  • Welcome
  • FAQ
  • Switch to Night Mode
  • Stolen Accounts Recovery 
  • Change Account Password 
  • Vote for Witnesses 
  • Steem Proposals 
  • Developer Portal 
  • Steem Bluepaper 
  • SMT Whitepaper 
  • Steem Whitepaper 
  • Privacy Policy
  • Terms of Service
Homeby Witness Moecki
LoginSign up
You are viewing a single comment's thread from:

RE: Free Books on the Coq Language & Proof Assistant

  • View the full context
minnowhelper (53)in #science • 8 years ago


For more information, click here!

@boucaron take part of the @minnowhelper's 50 SBD Contest. For more information, click here!

8 years ago in #science by minnowhelper (53)
$0.00
    Reply 0