{"product_id":"proof-assistants-and-their-applications-in-mathematics-and-computer-science-9783031851896","title":"Proof Assistants and Their Applications in Mathematics and Computer Science","description":"\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Hardback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 390 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 12 February 2026\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer International Publishing AG\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eProof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783031851896\u003c\/p\u003e","brand":"Shulph Ink","offers":[{"title":"Hardback","offer_id":48369638047994,"sku":"9783031851896","price":55.68,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/files\/1771627498771_book.jpg?v=1771864037","url":"https:\/\/shulphink.com\/products\/proof-assistants-and-their-applications-in-mathematics-and-computer-science-9783031851896","provider":"Shulph Ink","version":"1.0","type":"link"}