{"product_id":"theorem-proving-with-coq-ssreflect-mathcomp-formalizing-mathematics-with-free-software","title":"Theorem Proving with Coq\/SSReflect\/MathComp: Formalizing Mathematics with Free Software","description":"\u003cp\u003eTheorem Proving with Coq\/SSReflect\/MathComp: Formalizing Mathematics with Free Software\u003c\/p\u003e\n\u003cp\u003eby Various\u003c\/p\u003e\n\u003cp\u003eAuthentic Japanese book — sourced in Japan and shipped worldwide with full tracking. A title from Japan, delivered straight to your door.\u003c\/p\u003e\n\u003cp\u003eISBN 9784627062412 · ISBN-10 4627062419\u003c\/p\u003e","brand":"Amanogawa","offers":[{"title":"Default Title","offer_id":53754134691951,"sku":"AB-9784627062412","price":61.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0580\/2849\/0863\/files\/9784627062412.jpg?v=1783532139","url":"https:\/\/amanogawa.cloud\/products\/theorem-proving-with-coq-ssreflect-mathcomp-formalizing-mathematics-with-free-software","provider":"Amanogawa","version":"1.0","type":"link"}