• 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
booster (68)in #science • 8 years ago

This post has received a 1.20 % upvote from @booster thanks to: @boucaron.

8 years ago in #science by booster (68)
$0.00
    Reply 0