MastodonTech.de

José A. AlonsoReadings shared August 10, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/08/11-readings_shared_08-10-25" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/08/11-readings_shared_08-10-25</a> <a href="https://mathstodon.xyz/tags/Agda" class="mention hashtag" rel="nofollow noopener" target="_blank">#Agda</a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#CategoryTheory</a> <a href="https://mathstodon.xyz/tags/CoqProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#CoqProver</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a>

José A. AlonsoGradSTL: Comprehensive signal temporal logic for neurosymbolic reasoning and learning. ~ Mark Chevallier, Filip Smola, Richard Schmoetten, Jacques D. Fleuriot. <a href="https://arxiv.org/abs/2508.04438v1" rel="nofollow noopener" translate="no" target="_blank">https://arxiv.org/abs/2508.04438v1</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#IsabelleHOL</a>

José A. AlonsoReadings shared August 9, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/08/10-readings_shared_08-09-25" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/08/10-readings_shared_08-09-25</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#AI</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/IMO" class="mention hashtag" rel="nofollow noopener" target="_blank">#IMO</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#LLMs</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#Prolog</a>

José A. AlonsoTwo-way deterministic finite automata (in Isabelle/HOL). ~ Felipe Escallón, Tobias Nipkow. <a href="https://www.isa-afp.org/entries/Two_Way_DFA_HF.html" rel="nofollow noopener" translate="no" target="_blank">https://www.isa-afp.org/entries/Two_Way_DFA_HF.html</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#IsabelleHOL</a>

José A. AlonsoMission-time Linear Temporal Logic Formula Progression (in Isabelle/HOL). ~ Katherine Kosaian, Zili Wang. <a href="https://www.isa-afp.org/entries/Mission_Time_LTL_Formula_Progression.html" rel="nofollow noopener" translate="no" target="_blank">https://www.isa-afp.org/entries/Mission_Time_LTL_Formula_Progression.html</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#IsabelleHOL</a>

José A. AlonsoUnconstrained optimization (in Isabelle/HOL). ~ Dustin Bryant. <a href="https://www.isa-afp.org/entries/Unconstrained_Optimization.html" rel="nofollow noopener" translate="no" target="_blank">https://www.isa-afp.org/entries/Unconstrained_Optimization.html</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#Math</a>

José A. AlonsoUniversal pairs for diophantine equations (in Isabelle/HOL). ~ Marco David et als. <a href="https://www.isa-afp.org/entries/Diophantine_Universal_Pairs.html" rel="nofollow noopener" translate="no" target="_blank">https://www.isa-afp.org/entries/Diophantine_Universal_Pairs.html</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/ProofAssistant" class="mention hashtag" rel="nofollow noopener" target="_blank">#ProofAssistant</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#Math</a>

José A. AlonsoReadings shared July 27, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/28-readings_shared_07-27-25" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/07/28-readings_shared_07-27-25</a> <a href="https://mathstodon.xyz/tags/AI4Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#AI4Math</a> <a href="https://mathstodon.xyz/tags/Agda" class="mention hashtag" rel="nofollow noopener" target="_blank">#Agda</a> <a href="https://mathstodon.xyz/tags/FormalVerification" class="mention hashtag" rel="nofollow noopener" target="_blank">#FormalVerification</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#LLMs</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/ProofAssistants" class="mention hashtag" rel="nofollow noopener" target="_blank">#ProofAssistants</a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener" target="_blank">#Rocq</a>

José A. AlonsoFormally verified suffix array construction (in Isabelle/HOL). ~ Louis Cheung, Alistair Moffat, Christine Rizkallah. <a href="https://link.springer.com/article/10.1007/s10817-025-09735-8" rel="nofollow noopener" translate="no" target="_blank">https://link.springer.com/article/10.1007/s10817-025-09735-8</a> <a href="https://mathstodon.xyz/tags/FormalVerification" class="mention hashtag" rel="nofollow noopener" target="_blank">#FormalVerification</a> <a href="https://mathstodon.xyz/tags/ProofAssistants" class="mention hashtag" rel="nofollow noopener" target="_blank">#ProofAssistants</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a>

José A. AlonsoA meta-modal logic for bisimulations (in Isabelle/HOL). ~ Alfredo Burrieza, Fernando Soler-Toscano, Antonio Yuste-Ginel. <a href="https://www.isa-afp.org/entries/Bisimulation_Logic.html" rel="nofollow noopener" translate="no" target="_blank">https://www.isa-afp.org/entries/Bisimulation_Logic.html</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#IsabelleHOL</a>

José A. AlonsoReadings shared July 21, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/22-readings_shared_07-21-25" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/07/22-readings_shared_07-21-25</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener" target="_blank">#Rocq</a>

José A. AlonsoRepresentability and formalization of (distributive quasi) relation algebras. ~ Peter Jipsen. <a href="https://iphils.uj.edu.pl/clock/2025/slides/jipsen.pdf" rel="nofollow noopener" translate="no" target="_blank">https://iphils.uj.edu.pl/clock/2025/slides/jipsen.pdf</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener" target="_blank">#Rocq</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#Math</a>

José A. AlonsoComputational p-adics (in Isabelle/HOL). ~ Jeremy Sylvestre. <a href="https://www.isa-afp.org/entries/Computational_pAdics.html" rel="nofollow noopener" translate="no" target="_blank">https://www.isa-afp.org/entries/Computational_pAdics.html</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#Math</a>

José A. AlonsoParikh's theorem (in Isabelle/HOL). ~ Fabian Lehr. <a href="https://www.isa-afp.org/entries/Parikh.html" rel="nofollow noopener" translate="no" target="_blank">https://www.isa-afp.org/entries/Parikh.html</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#IsabelleHOL</a>

José A. AlonsoKraus maps (in Isabelle/HOL). ~ Dominique Unruh. <a href="https://www.isa-afp.org/entries/Kraus_Maps.html" rel="nofollow noopener" translate="no" target="_blank">https://www.isa-afp.org/entries/Kraus_Maps.html</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#IsabelleHOL</a>

José A. AlonsoThe oneway to hiding theorem (in Isabelle/HOL). ~ Katharina Kreuzer, Dominique Unruh. <a href="https://www.isa-afp.org/entries/Oneway2Hiding.html" rel="nofollow noopener" translate="no" target="_blank">https://www.isa-afp.org/entries/Oneway2Hiding.html</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#IsabelleHOL</a>

José A. AlonsoReadings shared July 7, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/08-readings_shared_07-07-25" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/07/08-readings_shared_07-07-25</a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="nofollow noopener" target="_blank">#Coq</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Maxima" class="mention hashtag" rel="nofollow noopener" target="_blank">#Maxima</a>

José A. AlonsoCurso "Razonamiento automático (2018-19)". <a href="https://jaalonso.github.io/cursos/m-ra-18" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/cursos/m-ra-18</a> <a href="https://mathstodon.xyz/tags/Demostraci%C3%B3nInteractiva" class="mention hashtag" rel="nofollow noopener" target="_blank">#DemostraciónInteractiva</a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#ProgramaciónFuncional</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="nofollow noopener" target="_blank">#Coq</a>

José A. AlonsoCurso "Razonamiento automático (2017-18)". <a href="https://jaalonso.github.io/cursos/m-ra-17" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/cursos/m-ra-17</a> <a href="https://mathstodon.xyz/tags/RazonamientoAutom%C3%A1tico" class="mention hashtag" rel="nofollow noopener" target="_blank">#RazonamientoAutomático</a> <a href="https://mathstodon.xyz/tags/Demostraci%C3%B3nInteractiva" class="mention hashtag" rel="nofollow noopener" target="_blank">#DemostraciónInteractiva</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#IsabelleHOL</a>

José A. AlonsoCurso "Lógica matemática y fundamentos (2018-19)". <a href="https://jaalonso.github.io/cursos/lmf-18" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/cursos/lmf-18</a> <a href="https://mathstodon.xyz/tags/L%C3%B3gica" class="mention hashtag" rel="nofollow noopener" target="_blank">#Lógica</a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#ProgramaciónFuncional</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#IsabelleHOL</a>

Frühere Suchanfragen

Suchoptionen

Verwaltet von:

Serverstatistik:

#IsabelleHOL

Frühere Suchanfragen

Suchoptionen

Verwaltet von:

Serverstatistik:

isabellehol

#IsabelleHOL