You are viewing a single comment's thread from:RE: Free Books on the Coq Language & Proof AssistantView the full contextnafazul (56)in #science • 8 years ago Good post my friend...thanks for sharing. I like your post @boucaron
Thank you