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