Mathstodon

José A. AlonsoReadings shared April 13, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/13-readings_shared_04-13-25" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://jaalonso.github.io/vestigium/posts/2025/04/13-readings_shared_04-13-25</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="tag">#AI</a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="tag">#ATP</a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="tag">#Coq</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="tag">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="tag">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="tag">#LLMs</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="tag">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Mace4" class="mention hashtag" rel="tag">#Mace4</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="tag">#Math</a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="tag">#Prover9</a> <a href="https://mathstodon.xyz/tags/SetTheory" class="mention hashtag" rel="tag">#SetTheory</a>

France | République française<a href="https://www.europesays.com/fr/21525/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.europesays.com/fr/21525/</a> le tenant du titre Stefanos Tsitsipas éliminé dès les quarts de finale de Monte-Carlo par Lorenzo Musetti <a href="https://pubeurope.com/tags/Actualit%C3%A9" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Actualité</a> <a href="https://pubeurope.com/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ATP</a> <a href="https://pubeurope.com/tags/Calendrier" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Calendrier</a> <a href="https://pubeurope.com/tags/classement" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#classement</a> <a href="https://pubeurope.com/tags/CoupeDavis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CoupeDavis</a> <a href="https://pubeurope.com/tags/FedCup" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FedCup</a> <a href="https://pubeurope.com/tags/FR" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FR</a> <a href="https://pubeurope.com/tags/France" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#France</a> <a href="https://pubeurope.com/tags/infos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#infos</a> <a href="https://pubeurope.com/tags/JeuxOlympiques" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#JeuxOlympiques</a> <a href="https://pubeurope.com/tags/Masters1000" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Masters1000</a> <a href="https://pubeurope.com/tags/Masters500" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Masters500</a> <a href="https://pubeurope.com/tags/MastersSeries" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MastersSeries</a> <a href="https://pubeurope.com/tags/MonteCarlo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MonteCarlo</a> <a href="https://pubeurope.com/tags/OpenD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OpenD</a>'australie <a href="https://pubeurope.com/tags/r%C3%A9sultats" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#résultats</a> <a href="https://pubeurope.com/tags/RolandGarros" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#RolandGarros</a> <a href="https://pubeurope.com/tags/Sports" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Sports</a> <a href="https://pubeurope.com/tags/StefanosTsitsipas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#StefanosTsitsipas</a> <a href="https://pubeurope.com/tags/Tennis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Tennis</a> <a href="https://pubeurope.com/tags/UsOpen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#UsOpen</a> <a href="https://pubeurope.com/tags/wimbledon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#wimbledon</a> <a href="https://pubeurope.com/tags/WTA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#WTA</a>

France | République française<a href="https://www.europesays.com/fr/20444/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.europesays.com/fr/20444/</a> Alcaraz se qualifie pour sa première finale du Masters 1000 de Monte-Carlo <a href="https://pubeurope.com/tags/Actualit%C3%A9" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Actualité</a> <a href="https://pubeurope.com/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ATP</a> <a href="https://pubeurope.com/tags/Calendrier" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Calendrier</a> <a href="https://pubeurope.com/tags/CarlosAlcaraz" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CarlosAlcaraz</a> <a href="https://pubeurope.com/tags/classement" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#classement</a> <a href="https://pubeurope.com/tags/CoupeDavis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CoupeDavis</a> <a href="https://pubeurope.com/tags/FedCup" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FedCup</a> <a href="https://pubeurope.com/tags/FR" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FR</a> <a href="https://pubeurope.com/tags/France" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#France</a> <a href="https://pubeurope.com/tags/infos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#infos</a> <a href="https://pubeurope.com/tags/JeuxOlympiques" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#JeuxOlympiques</a> <a href="https://pubeurope.com/tags/Masters1000" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Masters1000</a> <a href="https://pubeurope.com/tags/Masters500" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Masters500</a> <a href="https://pubeurope.com/tags/MastersATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MastersATP</a> <a href="https://pubeurope.com/tags/MastersSeries" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MastersSeries</a> <a href="https://pubeurope.com/tags/MonteCarlo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MonteCarlo</a> <a href="https://pubeurope.com/tags/OpenD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OpenD</a>'australie <a href="https://pubeurope.com/tags/r%C3%A9sultats" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#résultats</a> <a href="https://pubeurope.com/tags/RolandGarros" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#RolandGarros</a> <a href="https://pubeurope.com/tags/Sports" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Sports</a> <a href="https://pubeurope.com/tags/Tennis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Tennis</a> <a href="https://pubeurope.com/tags/UsOpen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#UsOpen</a> <a href="https://pubeurope.com/tags/wimbledon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#wimbledon</a> <a href="https://pubeurope.com/tags/WTA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#WTA</a>

José A. AlonsoReadings shared April 10, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/10-readings_shared_04-10-25" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://jaalonso.github.io/vestigium/posts/2025/04/10-readings_shared_04-10-25</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="tag">#AI</a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="tag">#ATP</a> <a href="https://mathstodon.xyz/tags/CommonLisp" class="mention hashtag" rel="tag">#CommonLisp</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="tag">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="tag">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="tag">#LLMs</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="tag">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="tag">#Math</a> <a href="https://mathstodon.xyz/tags/Programming" class="mention hashtag" rel="tag">#Programming</a> <a href="https://mathstodon.xyz/tags/Reasoning" class="mention hashtag" rel="tag">#Reasoning</a>

France | République française<a href="https://www.europesays.com/fr/15278/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.europesays.com/fr/15278/</a> pour son dernier Masters 1000 de Monte-Carlo, Richard Gasquet s’arrête au 2e tour <a href="https://pubeurope.com/tags/Actualit%C3%A9" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Actualité</a> <a href="https://pubeurope.com/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ATP</a> <a href="https://pubeurope.com/tags/Calendrier" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Calendrier</a> <a href="https://pubeurope.com/tags/classement" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#classement</a> <a href="https://pubeurope.com/tags/CoupeDavis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CoupeDavis</a> <a href="https://pubeurope.com/tags/FedCup" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FedCup</a> <a href="https://pubeurope.com/tags/FR" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FR</a> <a href="https://pubeurope.com/tags/France" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#France</a> <a href="https://pubeurope.com/tags/infos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#infos</a> <a href="https://pubeurope.com/tags/JeuxOlympiques" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#JeuxOlympiques</a> <a href="https://pubeurope.com/tags/Masters1000" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Masters1000</a> <a href="https://pubeurope.com/tags/Masters500" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Masters500</a> <a href="https://pubeurope.com/tags/MastersATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MastersATP</a> <a href="https://pubeurope.com/tags/MastersSeries" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MastersSeries</a> <a href="https://pubeurope.com/tags/MonteCarlo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MonteCarlo</a> <a href="https://pubeurope.com/tags/NovakDjokovic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#NovakDjokovic</a> <a href="https://pubeurope.com/tags/OpenD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OpenD</a>'australie <a href="https://pubeurope.com/tags/r%C3%A9sultats" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#résultats</a> <a href="https://pubeurope.com/tags/RichardGasquet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#RichardGasquet</a> <a href="https://pubeurope.com/tags/RolandGarros" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#RolandGarros</a> <a href="https://pubeurope.com/tags/Sports" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Sports</a> <a href="https://pubeurope.com/tags/Tennis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Tennis</a> <a href="https://pubeurope.com/tags/UsOpen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#UsOpen</a> <a href="https://pubeurope.com/tags/wimbledon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#wimbledon</a> <a href="https://pubeurope.com/tags/WTA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#WTA</a>

José A. AlonsoReasoning about AI’s reasoning. ~ Höjer Key. <a href="https://www.researchgate.net/publication/390527852_Reasoning_about_AI's_reasoning" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://www.researchgate.net/publication/390527852_Reasoning_about_AI's_reasoning</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="tag">#AI</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="tag">#LLMs</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="tag">#ITP</a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="tag">#ATP</a>

France | République française<a href="https://www.europesays.com/fr/12741/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.europesays.com/fr/12741/</a> Zverev mord (déjà) la poussière à Monte-Carlo, Rune abandonne <a href="https://pubeurope.com/tags/Actualit%C3%A9" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Actualité</a> <a href="https://pubeurope.com/tags/AlexanderZverev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AlexanderZverev</a> <a href="https://pubeurope.com/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ATP</a> <a href="https://pubeurope.com/tags/Calendrier" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Calendrier</a> <a href="https://pubeurope.com/tags/classement" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#classement</a> <a href="https://pubeurope.com/tags/CoupeDavis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CoupeDavis</a> <a href="https://pubeurope.com/tags/FedCup" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FedCup</a> <a href="https://pubeurope.com/tags/FR" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FR</a> <a href="https://pubeurope.com/tags/France" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#France</a> <a href="https://pubeurope.com/tags/infos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#infos</a> <a href="https://pubeurope.com/tags/JeuxOlympiques" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#JeuxOlympiques</a> <a href="https://pubeurope.com/tags/Masters1000" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Masters1000</a> <a href="https://pubeurope.com/tags/Masters500" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Masters500</a> <a href="https://pubeurope.com/tags/MastersSeries" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MastersSeries</a> <a href="https://pubeurope.com/tags/OpenD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OpenD</a>'australie <a href="https://pubeurope.com/tags/r%C3%A9sultats" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#résultats</a> <a href="https://pubeurope.com/tags/RolandGarros" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#RolandGarros</a> <a href="https://pubeurope.com/tags/Sports" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Sports</a> <a href="https://pubeurope.com/tags/Tennis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Tennis</a> <a href="https://pubeurope.com/tags/UsOpen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#UsOpen</a> <a href="https://pubeurope.com/tags/wimbledon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#wimbledon</a> <a href="https://pubeurope.com/tags/WTA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#WTA</a>

France | République française<a href="https://www.europesays.com/fr/12634/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.europesays.com/fr/12634/</a> renversant, Arthur Fils poursuit sa route à Monte-Carlo <a href="https://pubeurope.com/tags/Actualit%C3%A9" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Actualité</a> <a href="https://pubeurope.com/tags/ArthurFIls" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ArthurFIls</a> <a href="https://pubeurope.com/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ATP</a> <a href="https://pubeurope.com/tags/Calendrier" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Calendrier</a> <a href="https://pubeurope.com/tags/classement" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#classement</a> <a href="https://pubeurope.com/tags/CoupeDavis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CoupeDavis</a> <a href="https://pubeurope.com/tags/FedCup" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FedCup</a> <a href="https://pubeurope.com/tags/FR" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FR</a> <a href="https://pubeurope.com/tags/France" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#France</a> <a href="https://pubeurope.com/tags/infos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#infos</a> <a href="https://pubeurope.com/tags/JeuxOlympiques" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#JeuxOlympiques</a> <a href="https://pubeurope.com/tags/Masters1000" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Masters1000</a> <a href="https://pubeurope.com/tags/Masters500" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Masters500</a> <a href="https://pubeurope.com/tags/MastersSeries" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MastersSeries</a> <a href="https://pubeurope.com/tags/OpenD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OpenD</a>'australie <a href="https://pubeurope.com/tags/r%C3%A9sultats" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#résultats</a> <a href="https://pubeurope.com/tags/RolandGarros" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#RolandGarros</a> <a href="https://pubeurope.com/tags/Sports" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Sports</a> <a href="https://pubeurope.com/tags/Tennis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Tennis</a> <a href="https://pubeurope.com/tags/UsOpen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#UsOpen</a> <a href="https://pubeurope.com/tags/wimbledon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#wimbledon</a> <a href="https://pubeurope.com/tags/WTA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#WTA</a>

France | République française<a href="https://www.europesays.com/fr/11142/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.europesays.com/fr/11142/</a> Gaël Monfils renversant pour son entrée en lice à Monte-Carlo <a href="https://pubeurope.com/tags/Actualit%C3%A9" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Actualité</a> <a href="https://pubeurope.com/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ATP</a> <a href="https://pubeurope.com/tags/Calendrier" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Calendrier</a> <a href="https://pubeurope.com/tags/classement" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#classement</a> <a href="https://pubeurope.com/tags/CoupeDavis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CoupeDavis</a> <a href="https://pubeurope.com/tags/FedCup" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FedCup</a> <a href="https://pubeurope.com/tags/FR" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FR</a> <a href="https://pubeurope.com/tags/France" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#France</a> <a href="https://pubeurope.com/tags/GaelMonfils" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#GaelMonfils</a> <a href="https://pubeurope.com/tags/infos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#infos</a> <a href="https://pubeurope.com/tags/JeuxOlympiques" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#JeuxOlympiques</a> <a href="https://pubeurope.com/tags/Masters1000" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Masters1000</a> <a href="https://pubeurope.com/tags/Masters500" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Masters500</a> <a href="https://pubeurope.com/tags/MastersSeries" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MastersSeries</a> <a href="https://pubeurope.com/tags/MonteCarlo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MonteCarlo</a> <a href="https://pubeurope.com/tags/OpenD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OpenD</a>'australie <a href="https://pubeurope.com/tags/r%C3%A9sultats" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#résultats</a> <a href="https://pubeurope.com/tags/RolandGarros" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#RolandGarros</a> <a href="https://pubeurope.com/tags/Sports" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Sports</a> <a href="https://pubeurope.com/tags/Tennis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Tennis</a> <a href="https://pubeurope.com/tags/UsOpen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#UsOpen</a> <a href="https://pubeurope.com/tags/wimbledon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#wimbledon</a> <a href="https://pubeurope.com/tags/WTA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#WTA</a>

France | République française<a href="https://www.europesays.com/fr/10207/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.europesays.com/fr/10207/</a> «Asseyez-vous !», Tadej Pogacar sifflé et réprimandé par l’arbitre dans les tribunes du tournoi de Monte-Carlo <a href="https://pubeurope.com/tags/Actualit%C3%A9" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Actualité</a> <a href="https://pubeurope.com/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ATP</a> <a href="https://pubeurope.com/tags/Calendrier" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Calendrier</a> <a href="https://pubeurope.com/tags/classement" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#classement</a> <a href="https://pubeurope.com/tags/CoupeDavis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CoupeDavis</a> <a href="https://pubeurope.com/tags/F1" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#F1</a> <a href="https://pubeurope.com/tags/FedCup" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FedCup</a> <a href="https://pubeurope.com/tags/Formula1" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Formula1</a> <a href="https://pubeurope.com/tags/Formula1" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Formula1</a> <a href="https://pubeurope.com/tags/Formule1" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Formule1</a> <a href="https://pubeurope.com/tags/Formule1" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Formule1</a> <a href="https://pubeurope.com/tags/FR" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FR</a> <a href="https://pubeurope.com/tags/France" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#France</a> <a href="https://pubeurope.com/tags/infos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#infos</a> <a href="https://pubeurope.com/tags/JeuxOlympiques" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#JeuxOlympiques</a> <a href="https://pubeurope.com/tags/LeScanSport" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeScanSport</a> <a href="https://pubeurope.com/tags/Masters1000" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Masters1000</a> <a href="https://pubeurope.com/tags/Masters500" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Masters500</a> <a href="https://pubeurope.com/tags/MastersSeries" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MastersSeries</a> <a href="https://pubeurope.com/tags/OpenD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OpenD</a>'australie <a href="https://pubeurope.com/tags/r%C3%A9sultats" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#résultats</a> <a href="https://pubeurope.com/tags/RolandGarros" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#RolandGarros</a> <a href="https://pubeurope.com/tags/Sports" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Sports</a> <a href="https://pubeurope.com/tags/Tennis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Tennis</a> <a href="https://pubeurope.com/tags/UsOpen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#UsOpen</a> <a href="https://pubeurope.com/tags/wimbledon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#wimbledon</a> <a href="https://pubeurope.com/tags/WTA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#WTA</a>

José A. AlonsoReadings shared April 7, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/07-readings_shared_04-07-25" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://jaalonso.github.io/vestigium/posts/2025/04/07-readings_shared_04-07-25</a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="tag">#ATP</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="tag">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="tag">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="tag">#LeanProver</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="tag">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="tag">#Math</a> <a href="https://mathstodon.xyz/tags/Minlog" class="mention hashtag" rel="tag">#Minlog</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="tag">#Prolog</a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="tag">#SMT</a>

France | République française<a href="https://www.europesays.com/fr/7750/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.europesays.com/fr/7750/</a> Giovanni Mpetshi Perricard éliminé à Monte-Carlo par sa bête noire <a href="https://pubeurope.com/tags/Actualit%C3%A9" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Actualité</a> <a href="https://pubeurope.com/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ATP</a> <a href="https://pubeurope.com/tags/Calendrier" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Calendrier</a> <a href="https://pubeurope.com/tags/classement" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#classement</a> <a href="https://pubeurope.com/tags/CoupeDavis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CoupeDavis</a> <a href="https://pubeurope.com/tags/FedCup" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FedCup</a> <a href="https://pubeurope.com/tags/FR" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FR</a> <a href="https://pubeurope.com/tags/France" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#France</a> <a href="https://pubeurope.com/tags/infos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#infos</a> <a href="https://pubeurope.com/tags/JeuxOlympiques" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#JeuxOlympiques</a> <a href="https://pubeurope.com/tags/Masters1000" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Masters1000</a> <a href="https://pubeurope.com/tags/Masters500" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Masters500</a> <a href="https://pubeurope.com/tags/MastersSeries" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MastersSeries</a> <a href="https://pubeurope.com/tags/OpenD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OpenD</a>'australie <a href="https://pubeurope.com/tags/r%C3%A9sultats" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#résultats</a> <a href="https://pubeurope.com/tags/RolandGarros" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#RolandGarros</a> <a href="https://pubeurope.com/tags/Sports" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Sports</a> <a href="https://pubeurope.com/tags/Tennis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Tennis</a> <a href="https://pubeurope.com/tags/UsOpen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#UsOpen</a> <a href="https://pubeurope.com/tags/wimbledon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#wimbledon</a> <a href="https://pubeurope.com/tags/WTA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#WTA</a>

José A. AlonsoStronger SMT solvers for proof assistants (Proofs, quantifier simplification, strategy schedules). ~ Hans-Jörg Schurr. <a href="https://schurr.io/pubs/phd-thesis.pdf" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://schurr.io/pubs/phd-thesis.pdf</a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="tag">#ATP</a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="tag">#SMT</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="tag">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="tag">#IsabelleHOL</a>

Keiran Rowell<a href="https://youtube.com/watch?v=YnAA1YBT0tQ&si=he39R0Btb3Yhv8D8" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://youtube.com/watch?v=YnAA1YBT0tQ&si=he39R0Btb3Yhv8D8</a>A molecular atlas revealing the location and structural detail of <a href="https://mastodon.social/tags/mitochondria" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mitochondria</a> using <a href="https://mastodon.social/tags/CryoTomography" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CryoTomography</a>. Beautiful insight into the positioning of the <a href="https://mastodon.social/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ATP</a> synthesase machines and how the energy formation supercomplexes are placed.<a href="https://mastodon.social/tags/respirasome" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#respirasome</a> <a href="https://mastodon.social/tags/structuralbiology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#structuralbiology</a>

securityaffairsUAT-5918 <a href="https://infosec.exchange/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ATP</a> group targets critical <a href="https://infosec.exchange/tags/Taiwan" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Taiwan</a> <a href="https://securityaffairs.com/175728/hacking/uat-5918-atp-group-targets-critical-taiwan.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://securityaffairs.com/175728/hacking/uat-5918-atp-group-targets-critical-taiwan.html</a> <a href="https://infosec.exchange/tags/securityaffairs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#securityaffairs</a> <a href="https://infosec.exchange/tags/hacking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#hacking</a> <a href="https://infosec.exchange/tags/China" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#China</a>

José A. AlonsoReadings shared March 21, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/21-readings_shared_03-21-25" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://jaalonso.github.io/vestigium/posts/2025/03/21-readings_shared_03-21-25</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="tag">#AI</a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="tag">#ATP</a> <a href="https://mathstodon.xyz/tags/Dedukti" class="mention hashtag" rel="tag">#Dedukti</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#Haskell</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="tag">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="tag">#LLMs</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="tag">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Liquid" class="mention hashtag" rel="tag">#Liquid</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="tag">#Math</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="tag">#Prolog</a> <a href="https://mathstodon.xyz/tags/Reasoning" class="mention hashtag" rel="tag">#Reasoning</a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="tag">#SMT</a> <a href="https://mathstodon.xyz/tags/Vampire" class="mention hashtag" rel="tag">#Vampire</a>

José A. AlonsoCase study: Verified Vampire proofs in the LambdaPi-calculus modulo. ~ Anja Petković Komel, Michael Rawson, Martin Suad. <a href="https://arxiv.org/abs/2503.15541v1" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://arxiv.org/abs/2503.15541v1</a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="tag">#ATP</a> <a href="https://mathstodon.xyz/tags/Vampire" class="mention hashtag" rel="tag">#Vampire</a> <a href="https://mathstodon.xyz/tags/Dedukti" class="mention hashtag" rel="tag">#Dedukti</a>

José A. AlonsoReadings shared March 18, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/18-readings_shared_03-18-25" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://jaalonso.github.io/vestigium/posts/2025/03/18-readings_shared_03-18-25</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="tag">#AI</a> <a href="https://mathstodon.xyz/tags/ASP" class="mention hashtag" rel="tag">#ASP</a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="tag">#ATP</a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="tag">#CLP</a> <a href="https://mathstodon.xyz/tags/CommonLisp" class="mention hashtag" rel="tag">#CommonLisp</a> <a href="https://mathstodon.xyz/tags/Datalog" class="mention hashtag" rel="tag">#Datalog</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="tag">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="tag">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="tag">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Mace" class="mention hashtag" rel="tag">#Mace</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="tag">#Math</a> <a href="https://mathstodon.xyz/tags/Otter" class="mention hashtag" rel="tag">#Otter</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="tag">#Prolog</a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="tag">#Prover9</a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="tag">#SMT</a> <a href="https://mathstodon.xyz/tags/Z3" class="mention hashtag" rel="tag">#Z3</a>

José A. AlonsoReadings shared March 14, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/14-readings_shared_03-14-25" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://jaalonso.github.io/vestigium/posts/2025/03/14-readings_shared_03-14-25</a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="tag">#ATP</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="tag">#CompSci</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="tag">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="tag">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="tag">#LLMs</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="tag">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#Logic</a> <a href="https://mathstodon.xyz/tags/Mace" class="mention hashtag" rel="tag">#Mace</a> <a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="tag">#MachineLearning</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="tag">#Math</a> <a href="https://mathstodon.xyz/tags/Otter" class="mention hashtag" rel="tag">#Otter</a> <a href="https://mathstodon.xyz/tags/PVS" class="mention hashtag" rel="tag">#PVS</a> <a href="https://mathstodon.xyz/tags/TypeTheory" class="mention hashtag" rel="tag">#TypeTheory</a>

José A. AlonsoCurso "Razonamiento automático (2005-06)". <a href="https://jaalonso.github.io/cursos/d-ra-05" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://jaalonso.github.io/cursos/d-ra-05</a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="tag">#ATP</a> <a href="https://mathstodon.xyz/tags/Otter" class="mention hashtag" rel="tag">#Otter</a> <a href="https://mathstodon.xyz/tags/Mace" class="mention hashtag" rel="tag">#Mace</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="tag">#ITP</a> <a href="https://mathstodon.xyz/tags/PVS" class="mention hashtag" rel="tag">#PVS</a>

Recent searches

Search options

Administered by:

Server stats:

#atp