Corrected the online details of Sophie Tourret
Showing
- metadata/authors.toml 2 additions, 1 deletionmetadata/authors.toml
- web/authors/blanchette/index.html 2 additions, 2 deletionsweb/authors/blanchette/index.html
- web/authors/paulson/index.html 1 addition, 1 deletionweb/authors/paulson/index.html
- web/authors/qiu/index.html 1 addition, 1 deletionweb/authors/qiu/index.html
- web/authors/tourret/index.html 8 additions, 8 deletionsweb/authors/tourret/index.html
- web/entries/Abs_Int_ITP2012.html 1 addition, 1 deletionweb/entries/Abs_Int_ITP2012.html
- web/entries/Abstract-Hoare-Logics.html 1 addition, 1 deletionweb/entries/Abstract-Hoare-Logics.html
- web/entries/Broadcast_Psi.html 1 addition, 1 deletionweb/entries/Broadcast_Psi.html
- web/entries/CAVA_LTL_Modelchecker.html 1 addition, 1 deletionweb/entries/CAVA_LTL_Modelchecker.html
- web/entries/Catoids.html 1 addition, 1 deletionweb/entries/Catoids.html
- web/entries/Closest_Pair_Points.html 1 addition, 1 deletionweb/entries/Closest_Pair_Points.html
- web/entries/Collections.html 1 addition, 1 deletionweb/entries/Collections.html
- web/entries/Combinatorics_Words_Lyndon.html 1 addition, 1 deletionweb/entries/Combinatorics_Words_Lyndon.html
- web/entries/CondNormReasHOL.html 1 addition, 1 deletionweb/entries/CondNormReasHOL.html
- web/entries/Coupledsim_Contrasim.html 1 addition, 1 deletionweb/entries/Coupledsim_Contrasim.html
- web/entries/CubicalCategories.html 1 addition, 1 deletionweb/entries/CubicalCategories.html
- web/entries/Density_Compiler.html 1 addition, 1 deletionweb/entries/Density_Compiler.html
- web/entries/Edwards_Elliptic_Curves_Group.html 1 addition, 1 deletionweb/entries/Edwards_Elliptic_Curves_Group.html
- web/entries/FOL_Compactness.html 1 addition, 1 deletionweb/entries/FOL_Compactness.html
- web/entries/Flyspeck-Tame.html 2 additions, 2 deletionsweb/entries/Flyspeck-Tame.html
Loading
Please register or sign in to comment