From 643edfd0ca59c8dd114d6fa30869fcb3669988c8 Mon Sep 17 00:00:00 2001 From: ADedecker Date: Tue, 8 Aug 2023 23:03:33 +0300 Subject: [PATCH] Add Anatole to maintainer list --- data/people.yaml | 7 +++++++ img/anatole.jpg | Bin 0 -> 5255 bytes 2 files changed, 7 insertions(+) create mode 100644 img/anatole.jpg diff --git a/data/people.yaml b/data/people.yaml index 1a70bf773b..80a9c64b8a 100644 --- a/data/people.yaml +++ b/data/people.yaml @@ -51,6 +51,13 @@ PhD in algebraic geometry in Nijmegen. He has been formalizing mathematics since 2018. img: Johan.jpg +- + name: Anatole Dedecker + descr: | + Anatole is a master's student in mathematics at Université + Paris-Saclay at Orsay (France). He has been formalizing + mathematics in Lean since 2020. + img: anatole.jpg - name: Rémy Degenne descr: | diff --git a/img/anatole.jpg b/img/anatole.jpg new file mode 100644 index 0000000000000000000000000000000000000000..f71ec8e309557fcc24bfe795f93623a183041a58 GIT binary patch literal 5255 zcmeHJc{J2}8~@D=#)M?OW2wfBCEJV{ijip}%UCi}2-R$9Fk_mr)27HpL?~-f%9x^T zQAuTzgpf6EOvu$Dif*<$?{K=e_rB-6f4qOcJ?DJSd4A95^L)O~_jAtgoJZ6r8V1%7 zZ5?a@5C{Mc0tWyV!lfG@*VILZ*Q(!b@)e31|~b2vDdZHd9KxM(shh(bqG zgP53bG8=J7kHGm$BpwRsoECTY=y?P{qK_ehNHaeR)v#sfe8TOGJ`tC>< zcWPt+6;DHM-GZXBAgk>;#!6ikSpSr;(WP`K_XTt!2txMr?V@BEHfuLHvxL4*YcBrvpD7`02n;2mb#Y z__4v!S>m-VOuV0o1^{b7T1pBkB`FPsLSZoJRkF%*vNAHVYKlto%4^lvuUo6Gsfo}= z>miUvC{4``=K4k^STi%T^?G=M1YKB`D0l{D}Ss7WloE#jdrKyGcpF{KzP>=>_ z01W~{0$>FYL;)lc02<;&R}!?m@BS4M02m@E1%iq}^ECh%1OZD(NJv5;lFI}T7y?Kr zC~8S!x09rlkYwDElc~z6f)1gI>TS~D< z!~UARTyk4v=k=XI+O?=vK%2AeaHBv`zNWO-F64H9k?+pEJ{7}@Jl9((=;Y>&C)(I2 zMvTIi_{qujirEjJH0B?Q9hFQv_zu)O>UYh2DZu7WgF7jw^(iqE<<~51x1max%$MXG zX!ht$KI!V)+m?8DVHS-uzsOI^-5gXjd!qDw$Go=%#A4!$a@3K4KrjrgYI@zJk2T~x zAp&mkRT31n&ih;~Ir*Z_V;Zw&ryqQl;o8@=AYWvjFs&cmp&7|`XuL9YvNbt$pomIY zG;Vq6>$6kiG=+U&BrrGX&)Ix0pR5viI<>+&U?kD8|Fn^gg@w+VyGynPkGE|0zwY>C z>xJBaJxvR8B7i6;Q`OWB7gpA&PB)+Z7L#C_S~HY6SCYe@>!xH+zU6f05#e`SMir8n zFK^;FQ>(EvGcwP|5(09r3W`a42tJM6)S>IWV;()F<&C9b@Ta|H@ArF=-#8j_P==ce zn9itk#QfNZkz;c=Y3sD?jV~vwjc{X*W6OP%&V`OStMzu^t*6?j(Po+LbytC$OrTI@ zKq5~(7jM@ZI;-A0_1E`xWrSMpNoN%Fuyb@d-_=v6%K z9w(9NZr^7)1^W7e$gjC$U+6$dC&C&OUMCLk{W5gK9vKTSuf9<{2&%K<3GAH13eMC*9%W-xD)Mz$4<+;7KEph9AOXqfLwS%*0nc-NKBl z5LG?=+lZHB&U%u1^5}SUPeQv4-@a4$Cbq~O>*!qd^kegbZ)^?v zt)FW!I}3$QdJj5B^sE__BQeS&vrlB;Df1=U1-}VTsDk>BlB!3e<3b6)@-~)#o0psF z&K;zR|9!&q2}IMROC&2YDVS$*NgCVo4DFP_ewc5w=XxAc^@6$24xO%Fub@!m`k*{W zSHXJq%jG_K3x;@z7eV```!!v=sH_t?*P(^al7eCSO9>i z)vllxrcAf-Z;AkPFCMyoBA;4wJ^2lBA3gnrrhkDBr6Dat4f^1)SKg^ux!e=0Ltkgf zUOd}!(kq9qQ|nG~O#^e2qdc^2pJO%|ZbLp-O3L?+aw~bsNp=Y7`t3`C`~B4wS2vx{ z9C)4Ipr8+cn>pOJJN12`vi*!w2dgD35wMRvwSF~p$y+?YNB)t6mE;;)+&aS`1gP6H zupy{wYqC_PuN$`cY>MsLEmbuKz*93v9d%yiN4ZBkHW=J47ra-uT;%FX**VQj>`vDS z_0Y^9k%mK67jg6WEo#CpXtdJe9%k3RtIe5vCh;AOQo^3SiD_k{Jk~{RT1rn$8oN2_ zYw-fT*Bv@`CmZZEG)L;N!)kdJyiX$tB%eH=%OhB_!=5 zGbF{>zW1_fVDhCmG52Vmj|;vvGVXCRQ5{M+~T!WyQl^q%%C&se`G%e^e^Tt&GqZE?98;oC8H? zp^jX+{yNc-qf+P19g0+REH13^Ow3YFX-Tunux`ixQP5w9Y$kHsfoXKB?l&0V0{X0f0*Mpq^H=465oVmN&NH5^tID-0VhqC+hFlE}ggoids|*7ny-z5;bu#Fnyn#D!xAbvQ|Gxm# CVO1ai literal 0 HcmV?d00001