home.social

#dedukti — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #dedukti, aggregated by home.social.

José A. Alonso @[email protected] · 2026-02-20 · 08:13 UTC

Readings shared February 19, 2026. https://jaalonso.github.io/vestigium/posts/2026/02/20-readings_shared_02-19-26 #AI4Math #ATP #CSLib #CompSci #Dedukti #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Math #Mizar #RocqProver #Vampire

#vampire #rocqprover #mizar #math #leanprover #llms
José A. Alonso @[email protected] · 2026-02-20 · 08:13 UTC

Readings shared February 19, 2026. https://jaalonso.github.io/vestigium/posts/2026/02/20-readings_shared_02-19-26 #AI4Math #ATP #CSLib #CompSci #Dedukti #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Math #Mizar #RocqProver #Vampire

#vampire #rocqprover #mizar #math #leanprover #llms
José A. Alonso @[email protected] · 2026-02-20 · 08:13 UTC

Readings shared February 19, 2026. https://jaalonso.github.io/vestigium/posts/2026/02/20-readings_shared_02-19-26 #AI4Math #ATP #CSLib #CompSci #Dedukti #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Math #Mizar #RocqProver #Vampire

#vampire #rocqprover #mizar #math #leanprover #llms
José A. Alonso @[email protected] · 2026-02-20 · 08:13 UTC

Readings shared February 19, 2026. https://jaalonso.github.io/vestigium/posts/2026/02/20-readings_shared_02-19-26 #AI4Math #ATP #CSLib #CompSci #Dedukti #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Math #Mizar #RocqProver #Vampire

#ai4math #atp #cslib #compsci #dedukti #functionalprogramming
José A. Alonso @[email protected] · 2026-02-20 · 08:13 UTC

Readings shared February 19, 2026. https://jaalonso.github.io/vestigium/posts/2026/02/20-readings_shared_02-19-26 #AI4Math #ATP #CSLib #CompSci #Dedukti #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Math #Mizar #RocqProver #Vampire

#vampire #rocqprover #mizar #math #leanprover #llms