Index of /user/avigad/Talks

[ICO]NameLast modifiedSizeDescription

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