![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| CbmsDemo.lean | 2024-04-30 20:55 | 1.3K | |
| R2SR.pdf | 2024-04-30 20:55 | 347K | |
| admissible.pdf | 2024-04-30 20:54 | 107K | |
| admissible2.pdf | 2024-04-30 20:54 | 101K | |
| ai4math.pdf | 2024-04-30 20:55 | 1.7M | |
| ams_design.pdf | 2024-04-30 20:54 | 204K | |
| asl04.pdf | 2024-04-30 20:54 | 213K | |
| asl_promise.pdf | 2024-04-30 20:55 | 1.5M | |
| australia1.pdf | 2024-04-30 20:54 | 612K | |
| australia2.pdf | 2024-04-30 20:54 | 120K | |
| australia3.pdf | 2024-04-30 20:54 | 227K | |
| australia4.pdf | 2024-04-30 20:54 | 186K | |
| baltimore.pdf | 2024-04-30 20:54 | 225K | |
| beijing.pdf | 2024-04-30 20:54 | 142K | |
| berkeley_modularity.pdf | 2024-04-30 20:54 | 184K | |
| birs.pdf | 2024-04-30 20:54 | 156K | |
| bohemian.pdf | 2024-04-30 20:54 | 165K | |
| brussels_dirichlet.pdf | 2024-04-30 20:54 | 170K | |
| calgary.pdf | 2024-04-30 20:54 | 1.3M | |
| cbms.pdf | 2024-04-30 20:55 | 104K | |
| clarke.pdf | 2024-04-30 20:54 | 47K | |
| dagstuhl.pdf | 2024-04-30 20:54 | 174K | |
| dagstuhl_2013.pdf | 2024-04-30 20:54 | 132K | |
| dc.pdf | 2024-04-30 20:54 | 112K | |
| decision_procedures.pdf | 2024-04-30 20:54 | 94K | |
| definitions2.pdf | 2024-04-30 20:54 | 78K | |
| design.pdf | 2024-04-30 20:54 | 200K | |
| digital_revolution2.pdf | 2024-04-30 20:55 | 5.1M | |
| dirichlet.pdf | 2024-04-30 20:54 | 167K | |
| distances.pdf | 2024-04-30 20:54 | 88K | |
| education.pdf | 2024-04-30 20:54 | 143K | |
| fields_education.pdf | 2024-04-30 20:54 | 175K | |
| fields_hott.pdf | 2024-04-30 20:54 | 169K | |
| fields_hott_lean.pdf | 2024-04-30 20:54 | 510K | |
| fields_type_theory.pdf | 2024-04-30 20:54 | 221K | |
| fmtea.pdf | 2024-04-30 20:54 | 229K | |
| forcing.pdf | 2024-04-30 20:54 | 106K | |
| forcing_talk2.pdf | 2024-04-30 20:54 | 116K | |
| geometry.pdf | 2024-04-30 20:54 | 476K | |
| heidelberg.pdf | 2024-04-30 20:54 | 140K | |
| helsinki/ | 2024-04-30 20:55 | - | |
| herbrand2.pdf | 2024-04-30 20:54 | 93K | |
| hoskinson_inaugural.pdf | 2024-04-30 20:54 | 459K | |
| icerm.pdf | 2024-04-30 20:54 | 130K | |
| icerm_2016.pdf | 2024-04-30 20:54 | 215K | |
| illinois_understandi..> | 2024-04-30 20:54 | 230K | |
| interpreting.pdf | 2024-04-30 20:54 | 88K | |
| inverting2.pdf | 2024-04-30 20:54 | 125K | |
| ioannina.pdf | 2024-04-30 20:54 | 261K | |
| lean_ini.pdf | 2024-04-30 20:54 | 224K | |
| leiden.pdf | 2024-04-30 20:54 | 130K | |
| london.pdf | 2024-04-30 20:54 | 281K | |
| london_ergodic_theor..> | 2024-04-30 20:54 | 156K | |
| loughborough.pdf | 2024-04-30 20:54 | 170K | |
| loughborough2.pdf | 2024-04-30 20:55 | 259K | |
| manchester.pdf | 2024-04-30 20:54 | 199K | |
| math_concepts.pdf | 2024-04-30 20:54 | 248K | |
| mathematical_compone..> | 2024-04-30 20:55 | 702K | |
| mathematical_practic..> | 2024-04-30 20:54 | 54K | |
| mechanization.pdf | 2024-04-30 20:54 | 1.3M | |
| mechanization_talk.pdf | 2024-04-30 20:54 | 1.3M | |
| mechanization_talk_o..> | 2024-04-30 20:54 | 1.2M | |
| mit.pdf | 2024-04-30 20:54 | 156K | |
| munich_dirichlet.pdf | 2024-04-30 20:54 | 211K | |
| newyork.pdf | 2024-04-30 20:54 | 130K | |
| nonstandard2.pdf | 2024-04-30 20:54 | 94K | |
| obsolete.pdf | 2024-04-30 20:55 | 819K | |
| ohio_convergence.pdf | 2024-04-30 20:54 | 202K | |
| oxford_formal_method..> | 2024-04-30 20:54 | 287K | |
| paris.pdf | 2024-04-30 20:54 | 96K | |
| paris_functions.pdf | 2024-04-30 20:54 | 164K | |
| pasadena.pdf | 2024-04-30 20:55 | 739K | |
| perimeter_surveillan..> | 2024-04-30 20:54 | 184K | |
| pitt.pdf | 2024-04-30 20:54 | 132K | |
| poland.pdf | 2024-04-30 20:55 | 362K | |
| polya.pdf | 2024-04-30 20:54 | 202K | |
| prague.pdf | 2024-04-30 20:54 | 196K | |
| princeton.pdf | 2024-04-30 20:54 | 579K | |
| proof_systems.pdf | 2024-04-30 20:55 | 224K | |
| qpf.pdf | 2024-04-30 20:54 | 175K | |
| quarantine.pdf | 2024-04-30 20:54 | 171K | |
| realizability.pdf | 2024-04-30 20:54 | 57K | |
| reliability_talk.pdf | 2024-04-30 20:54 | 100K | |
| rutgers.pdf | 2024-04-30 20:55 | 533K | |
| san_diego.pdf | 2024-04-30 20:54 | 376K | |
| sc_square.pdf | 2024-04-30 20:54 | 236K | |
| semantic.pdf | 2024-04-30 20:54 | 128K | |
| sheaves.pdf | 2024-04-30 20:54 | 87K | |
| simplicity.pdf | 2024-04-30 20:54 | 79K | |
| spain.pdf | 2024-04-30 20:54 | 72K | |
| stanford.pdf | 2024-04-30 20:54 | 96K | |
| stanford_formal_meth..> | 2024-04-30 20:54 | 444K | |
| stanford_understandi..> | 2024-04-30 20:54 | 579K | |
| stark_cpp.pdf | 2024-04-30 20:54 | 187K | |
| steinhaus.htm | 2024-04-30 20:54 | 1.1K | |
| structures.pdf | 2024-04-30 20:55 | 223K | |
| survey1.pdf | 2024-04-30 20:54 | 107K | |
| sweden.pdf | 2024-04-30 20:54 | 122K | |
| tautologies.pdf | 2024-04-30 20:54 | 72K | |
| topos.pdf | 2024-04-30 20:54 | 513K | |
| toulouse1.pdf | 2024-04-30 20:54 | 127K | |
| toulouse2.pdf | 2024-04-30 20:54 | 169K | |
| toulouse3.pdf | 2024-04-30 20:54 | 259K | |
| toulouse4.pdf | 2024-04-30 20:54 | 420K | |
| toulouse5.pdf | 2024-04-30 20:54 | 180K | |
| type_inference.pdf | 2024-04-30 20:54 | 156K | |
| ud_talk.pdf | 2024-04-30 20:54 | 135K | |
| understanding2022.pdf | 2024-04-30 20:54 | 229K | |
| updatetalk.pdf | 2024-04-30 20:54 | 116K | |
| varieties_small.pdf | 2024-04-30 20:55 | 3.9M | |
| varieties_talk.pdf | 2024-04-30 20:55 | 4.0M | |
| varieties_talk_hando..> | 2024-04-30 20:55 | 4.0M | |
| verification.pdf | 2024-04-30 20:54 | 71K | |
| vienna.pdf | 2024-04-30 20:54 | 101K | |
| vig.pdf | 2024-04-30 20:54 | 124K | |
| wesley.pdf | 2024-04-30 20:54 | 421K | |
| wkl_seminar.pdf | 2024-04-30 20:54 | 187K | |
| wuhan.pdf | 2024-04-30 20:54 | 173K | |