{"id":1704,"date":"2023-03-30T17:21:05","date_gmt":"2023-03-30T16:21:05","guid":{"rendered":"http:\/\/blog.soton.ac.uk\/mshe\/?p=1704"},"modified":"2023-03-30T17:21:48","modified_gmt":"2023-03-30T16:21:48","slug":"learning-mathematics-with-lean-event","status":"publish","type":"post","link":"https:\/\/blog.soton.ac.uk\/mshe\/learning-mathematics-with-lean-event\/","title":{"rendered":"Learning mathematics with LEAN &#8211; event"},"content":{"rendered":"<p>Are you interested in teaching mathematics using Lean? Would you like to learn more about Lean and how it has been used in undergraduate teaching?<\/p>\n<p>Join us online for our 2<sup>nd<\/sup>\u00a0Event on &#8220;Learning Mathematics with Lean&#8221; on 18-19-20<sup>th<\/sup>\u00a0April 2023, times: 14:00-17:00 (GMT). For more details and to register check out our <a href=\"https:\/\/eur03.safelinks.protection.outlook.com\/?url=https%3A%2F%2Fsites.google.com%2Fview%2Flearning-maths-with-lean2%2Fhome&amp;data=05%7C01%7CC.Bokhove%40soton.ac.uk%7Cd9a4c4a422ca4fe1905c08db3138ca61%7C4a5378f929f44d3ebe89669d03ada9d8%7C0%7C0%7C638157892642124783%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&amp;sdata=1O%2FsLG7ugWhlnktrAeBcmdxbzFfPmPXoQRBGDNTn5DA%3D&amp;reserved=0\" data-loopstyle=\"link\">website<\/a>.<\/p>\n<iframe src=\"\/\/docs.google.com\/viewer?url=http%3A%2F%2Fblog.soton.ac.uk%2Fmshe%2Ffiles%2F2023%2F03%2FLearning-Mathematics-with-Lean-2nd-Event_2023-002.pdf&hl=en_US&embedded=true\" class=\"gde-frame\" style=\"width:100%; height:500px; border: none;\" scrolling=\"no\"><\/iframe>\n<p class=\"gde-text\"><a href=\"http:\/\/blog.soton.ac.uk\/mshe\/files\/2023\/03\/Learning-Mathematics-with-Lean-2nd-Event_2023-002.pdf\" class=\"gde-link\">Download (PDF, 84KB)<\/a><\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Are you interested in teaching mathematics using Lean? Would you like to learn more about Lean and how it has been used in undergraduate teaching? Join us online for our 2nd\u00a0Event on &#8220;Learning Mathematics with Lean&#8221; on 18-19-20th\u00a0April 2023, times: 14:00-17:00 (GMT). For more details and to register check out our website. &nbsp;<\/p>\n","protected":false},"author":93214,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_bbp_topic_count":0,"_bbp_reply_count":0,"_bbp_total_topic_count":0,"_bbp_total_reply_count":0,"_bbp_voice_count":0,"_bbp_anonymous_reply_count":0,"_bbp_topic_count_hidden":0,"_bbp_reply_count_hidden":0,"_bbp_forum_subforum_count":0,"footnotes":""},"categories":[4217],"tags":[],"class_list":["post-1704","post","type-post","status-publish","format-standard","hentry","category-news"],"_links":{"self":[{"href":"https:\/\/blog.soton.ac.uk\/mshe\/wp-json\/wp\/v2\/posts\/1704","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.soton.ac.uk\/mshe\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.soton.ac.uk\/mshe\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.soton.ac.uk\/mshe\/wp-json\/wp\/v2\/users\/93214"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.soton.ac.uk\/mshe\/wp-json\/wp\/v2\/comments?post=1704"}],"version-history":[{"count":2,"href":"https:\/\/blog.soton.ac.uk\/mshe\/wp-json\/wp\/v2\/posts\/1704\/revisions"}],"predecessor-version":[{"id":1708,"href":"https:\/\/blog.soton.ac.uk\/mshe\/wp-json\/wp\/v2\/posts\/1704\/revisions\/1708"}],"wp:attachment":[{"href":"https:\/\/blog.soton.ac.uk\/mshe\/wp-json\/wp\/v2\/media?parent=1704"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.soton.ac.uk\/mshe\/wp-json\/wp\/v2\/categories?post=1704"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.soton.ac.uk\/mshe\/wp-json\/wp\/v2\/tags?post=1704"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}