[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8},"actionData","errors","root",{"_30":-5,"_40":-5,"_41":42,"_43":44,"_45":46,"_47":48,"_49":50,"_51":52,"_53":12,"_54":55,"_56":57,"_58":59},"routes/_store+/_readers+/contact_author.$slug/route",{"_9":10,"_11":12,"_13":-5,"_14":-5,"_15":-5},"book",{"_16":17,"_18":19,"_20":21,"_22":23,"_24":25},"viewerKnown",false,"currentUser","existingConversationId","formToken","id","Z2lkOi8vbGVhbnB1Yi9TdG9yZTo6Qm9va1Byb2R1Y3QvODQ5NjM","title","Lean 4: Programming, Proof, and Formal Verification","state","published","contactAuthorMethod","email","authors",[26],{"_16":27,"_28":29,"_30":31},"Z2lkOi8vbGVhbnB1Yi9TdG9yZTo6UHJvZHVjdEF1dGhvci85MDYyMA","name","Steve Publications","user",{"_32":33},"avatar",{"_34":35,"_36":37,"_38":39},"url","https://d39qdlcrvnra4b.cloudfront.net/avatars/3084982/medium/avatar.jpg?1784309602","styleName","medium","exists",true,"shoppingCartId","shoppingCart",{"_16":72,"_73":74,"_75":39,"_76":77,"_78":79,"_80":81,"_82":39},"locale","en","readerTheme","light","constants",{"_70":71},"publishers",{"_66":67,"_68":69},"learnerOrganizations",[],"needsLocaleCookieSync","announcements",{"_60":61,"_62":-5},"sentryEnvironment","production","sentryRelease","fed8ef873312b38b31eeecda9fe2df2a30ea0444","announcement_store",{"_63":12,"_64":65},"announcement_authors","flag","text","

Kick off your book project, get started with GhostAI, get better at marketing, or spend the day doing all three! Free live workshops on Zoom. Saturday, June 27, 2026.

\n","companies",[],"universities",[],"paypalClientId","AX53Cwz8jR6rVVzzZiZNWWXl0dGagi-GZrjG-S3Ua14E5nrKMn7DxDQ730O4R8LusLPp49ALn6aRVaEy","no-cart","count",0,"free","updatedAt","","paymentGateway","STRIPE","cartItems",[],"loading"]

Contact the author