%20--%3E%3Cmetadata%20xmlns%3Ardf%3D%22http%3A%2F%2Fwww.w3.org%2F1999%2F02%2F22-rdf-syntax-ns%23%22%20xmlns%3Axsi%3D%22http%3A%2F%2Fwww.w3.org%2F2001%2FXMLSchema-instance%22%20xmlns%3Adc%3D%22http%3A%2F%2Fpurl.org%2Fdc%2Felements%2F1.1%2F%22%20xmlns%3Adcterms%3D%22http%3A%2F%2Fpurl.org%2Fdc%2Fterms%2F%22%3E%3Crdf%3ARDF%3E%3Crdf%3ADescription%3E%3Cdc%3Atitle%3EShadows%3C%2Fdc%3Atitle%3E%3Cdc%3Acreator%3EDiceBear%3C%2Fdc%3Acreator%3E%3Cdc%3Asource%20xsi%3Atype%3D%22dcterms%3AURI%22%3Ehttps%3A%2F%2Fwww.dicebear.com%3C%2Fdc%3Asource%3E%3Cdcterms%3Alicense%20xsi%3Atype%3D%22dcterms%3AURI%22%3Ehttps%3A%2F%2Fcreativecommons.org%2Fpublicdomain%2Fzero%2F1.0%2F%3C%2Fdcterms%3Alicense%3E%3Cdc%3Arights%3E%E2%80%9CShadows%E2%80%9D%20(https%3A%2F%2Fwww.dicebear.com)%20by%20%E2%80%9CDiceBear%E2%80%9D%2C%20licensed%20under%20%E2%80%9CCC0%201.0%E2%80%9D%20(https%3A%2F%2Fcreativecommons.org%2Fpublicdomain%2Fzero%2F1.0%2F)%3C%2Fdc%3Arights%3E%3C%2Frdf%3ADescription%3E%3C%2Frdf%3ARDF%3E%3C%2Fmetadata%3E%3Cdefs%3E%3Cg%20id%3D%22shoulders-regular-ca60d78c%22%3E%3Cpath%20d%3D%22M6%2050C6%2017%2020.85%201%2039%201s33%2016%2033%2049Z%22%20fill%3D%22%23345757%22%2F%3E%3C%2Fg%3E%3Cg%20id%3D%22heads-tall-ca60d78c%22%3E%3Cellipse%20cx%3D%2231%22%20cy%3D%2237%22%20rx%3D%2217%22%20ry%3D%2223%22%20fill%3D%22%23345757%22%2F%3E%3C%2Fg%3E%3CclipPath%20id%3D%22clip-ca60d78c%22%3E%3Crect%20width%3D%22100%22%20height%3D%22100%22%20rx%3D%220%22%20ry%3D%220%22%2F%3E%3C%2FclipPath%3E%3C%2Fdefs%3E%3Cg%20clip-path%3D%22url(%23clip-ca60d78c)%22%3E%3Crect%20width%3D%22100%22%20height%3D%22100%22%20fill%3D%22%23e8e4ed%22%2F%3E%3Cuse%20transform%3D%22translate(11%2051)%22%20href%3D%22%23shoulders-regular-ca60d78c%22%2F%3E%3Cuse%20transform%3D%22translate(19%201)%22%20href%3D%22%23heads-tall-ca60d78c%22%2F%3E%3C%2Fg%3E%3C%2Fsvg%3E)
This talk begins in about half an hour, followed by a presentation on Lean/mathlib. Say hello in our Zulip chat at code4math.zulipchat.com#narrow/chann... and get the Zoom link+passcode to join the call!
code4math.zulipchat.comPublic view of code4math | Zulip team chatBrowse the publicly accessible channels in code4math without logging in.
Our first featured presentation at the code4math.org Grand Opening will be featuring houseofgraphs.org — a database of *interesting* graphs, featuring metadata and search to help researchers in the field. Join us 9am Eastern on September 8! preview.scholarlattice.org/collections/...
0 reposts0 likes