https://robertylewis.com/teaching/nomr/ 2015-05-30T02:00:00-07:00 https://robertylewis.com/leanmm/ 2018-02-06T01:00:00-08:00 https://robertylewis.com/padics/ 2018-10-18T02:00:00-07:00 https://robertylewis.com/lean/conference/lean-together/ 2019-01-25T13:05:33-08:00 https://robertylewis.com/lean/cap-set/ 2019-06-09T05:30:00-07:00 https://robertylewis.com/lean/mathlib-paper/ 2019-10-21T05:30:00-07:00 https://robertylewis.com/teaching/logic-modeling/ 2020-07-05T02:30:00-07:00 https://robertylewis.com/lean/metaprogramming/ 2020-07-13T02:30:00-07:00 https://robertylewis.com/lean/witt-vectors/ 2020-10-07T02:30:00-07:00 https://robertylewis.com/publication/2010-10-01-paper-title-number-2 2010-10-01T00:00:00-07:00 https://robertylewis.com/publication/2015-10-01-paper-title-number-3 2015-10-01T00:00:00-07:00 https://robertylewis.com/publication/witt 2021-01-01T00:00:00-08:00 https://robertylewis.com/publication/witt 2021-01-01T00:00:00-08:00 https://robertylewis.com/teaching/2014-spring-teaching-1 2014-01-01T00:00:00-08:00 https://robertylewis.com/teaching/2015-spring-teaching-1 2015-01-01T00:00:00-08:00 https://robertylewis.com/ https://robertylewis.com/archive-layout-with-content/ https://robertylewis.com/logic_and_modeling/assignments https://robertylewis.com/categories/ https://robertylewis.com/collection-archive/ https://robertylewis.com/contact/ https://robertylewis.com/cv/ https://robertylewis.com/logic_and_modeling/exercises https://robertylewis.com/logic_and_modeling/friday_exercises.html https://robertylewis.com/logic_and_modeling/ https://robertylewis.com/logic_and_modeling/lean_extras https://robertylewis.com/logic_and_modeling/lecture_1 https://robertylewis.com/logic_and_modeling/lecture_11 https://robertylewis.com/logic_and_modeling/lecture_12 https://robertylewis.com/logic_and_modeling/lecture_13 https://robertylewis.com/logic_and_modeling/lecture_14 https://robertylewis.com/logic_and_modeling/lecture_2 https://robertylewis.com/logic_and_modeling/lecture_3 https://robertylewis.com/logic_and_modeling/lecture_4 https://robertylewis.com/logic_and_modeling/lecture_5 https://robertylewis.com/logic_and_modeling/lecture_6 https://robertylewis.com/logic_and_modeling/lecture_7 https://robertylewis.com/logic_and_modeling/lecture_8 https://robertylewis.com/logic_and_modeling/lecture_9 https://robertylewis.com/logic_and_modeling/lectures https://robertylewis.com/markdown/ https://robertylewis.com/non-menu-page/ https://robertylewis.com/page-archive/ https://robertylewis.com/portfolio/ https://robertylewis.com/publications/ https://robertylewis.com/publications_old/ https://robertylewis.com/logic_and_modeling/qa.html https://robertylewis.com/research/ https://robertylewis.com/sitemap/ https://robertylewis.com/tags/ https://robertylewis.com/talkmap.html https://robertylewis.com/talks/ https://robertylewis.com/teaching/ https://robertylewis.com/teaching_old/ https://robertylewis.com/terms/ https://robertylewis.com/news/ https://robertylewis.com/markdown_generator/ https://robertylewis.com/_pages/logic_and_modeling/syllabus.pdf 2026-02-11T08:06:26-08:00 https://robertylewis.com/files/JAR16.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/aitp_slides.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/capset_long_slides.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/capset_long_slides_newcastle.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/carma_slides.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/cv.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/defense.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/dissertation.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/e-g.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/fomm_darulova.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/fomm_gao.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/fomm_gouezel.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/fomm_massot.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/hales60.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/icms/Carneiro_mathlib.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/icms/Lewis_slides.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/icms/McAllester.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/icms/WMFarmer-new-proof-style-icms-2018.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/icms/urban_neural2.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/itp_slides.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/klean.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/lean_intro_slides.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/lewis_aitp.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/mathhorizons.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/ms_slides.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/ms_thesis.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/norm-cast.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/padics.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/pxtp.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/semilinear-jar.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/summer_school_slides.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/syllabus.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/western2.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/witt-short.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/files/witt-vectors.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/fpv2021/syllabus.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/leanmm/lean_mm.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/lfsdemo/ 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/ 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_1/1.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_1/2.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_1/3.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_1/4.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_1/5.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_1/6.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_1/7.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_1/8.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_1/9.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_1/all.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_11/1.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_11/2.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_11/3.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_11/4.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_11/5.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_11/6.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_11/all.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_12/1.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_12/2.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_12/3.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_12/4.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_12/5.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_12/all.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_13/1.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_13/2.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_13/3.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_13/4.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_13/5.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_13/6.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_13/all.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_14/1.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_14/2.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_14/3.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_14/4.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_14/5.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_14/all.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_2/1.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_2/2.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_2/3.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_2/4.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_2/5.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_2/6.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_2/7.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_2/8.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_2/all.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_3/1.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_3/2.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_3/3.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_3/4.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_3/5.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_3/6.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_3/7.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_3/all.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_4/1.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_4/2.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_4/3.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_4/4.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_4/5.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_4/6.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_4/7.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_4/all.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_5/1.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_5/2.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_5/3.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_5/4.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_5/5.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_5/6.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_5/all.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_6/1.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_6/2.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_6/3.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_6/4.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_6/5.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_6/6.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_6/7.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_6/all.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_7/1.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_7/2.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_7/3.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_7/4.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_7/5.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_7/all.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_8/1.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_8/2.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_8/3.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_8/4.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_8/5.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_8/6.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_8/all.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_9/1.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_9/2.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_9/3.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_9/4.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_9/all.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_lean_extras/1.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_lean_extras/2.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_lean_extras/3.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/lectures/lecture_lean_extras/all.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/logic_and_modeling_2021/x.html 2026-02-11T08:06:27-08:00 https://robertylewis.com/padics/ 2026-02-11T08:06:27-08:00 https://robertylewis.com/padics/padics.pdf 2026-02-11T08:06:27-08:00 https://robertylewis.com/talkmap/map.html 2026-02-11T08:06:27-08:00