Sign in Create account

#isabellehol — Public Fediverse posts

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

José A. Alonso @[email protected] · 2026-08-24 · 10:03 UTC

Readings shared: 17-23 August, 2026. https://jaalonso.github.io/vestigium/posts/2026/08/24-readings_shared_08-24-26 #AI4Math #Agda #CoqProver #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #LogicProgramming #Math #Prolog #RocqProver

#rocqprover #prolog #math #logicprogramming #leanprover #llms
José A. Alonso @[email protected] · 2026-08-24 · 10:03 UTC

Readings shared: 17-23 August, 2026. https://jaalonso.github.io/vestigium/posts/2026/08/24-readings_shared_08-24-26 #AI4Math #Agda #CoqProver #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #LogicProgramming #Math #Prolog #RocqProver

#rocqprover #prolog #math #logicprogramming #leanprover #llms
José A. Alonso @[email protected] · 2026-08-24 · 10:03 UTC

Readings shared: 17-23 August, 2026. https://jaalonso.github.io/vestigium/posts/2026/08/24-readings_shared_08-24-26 #AI4Math #Agda #CoqProver #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #LogicProgramming #Math #Prolog #RocqProver

#rocqprover #prolog #math #logicprogramming #leanprover #llms
José A. Alonso @[email protected] · 2026-08-24 · 10:03 UTC

Readings shared: 17-23 August, 2026. https://jaalonso.github.io/vestigium/posts/2026/08/24-readings_shared_08-24-26 #AI4Math #Agda #CoqProver #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #LogicProgramming #Math #Prolog #RocqProver

#ai4math #agda #coqprover #emacs #functionalprogramming #haskell
José A. Alonso @[email protected] · 2026-08-24 · 10:03 UTC

Readings shared: 17-23 August, 2026. https://jaalonso.github.io/vestigium/posts/2026/08/24-readings_shared_08-24-26 #AI4Math #Agda #CoqProver #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #LogicProgramming #Math #Prolog #RocqProver

#rocqprover #prolog #math #logicprogramming #leanprover #llms
José A. Alonso @[email protected] · 2026-08-17 · 07:31 UTC

Readings shared August 17, 2026. https://jaalonso.github.io/vestigium/posts/2026/08/17-readings_shared_08-17-26/ #AI4Math #ATP #FormalVerification #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Math #SATsolvers

#satsolvers #math #leanprover #llms #isabellehol #itp
José A. Alonso @[email protected] · 2026-08-03 · 12:25 UTC

Readings shared: July 27 – August 3, 2026. https://jaalonso.github.io/vestigium/posts/2026/08/03-readings_shared_08-03-26/ #AI #AI4Math #ATP #Autoformalization #CommonLisp #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #Math #Ocaml #PVS #RocqProver

#rocqprover #pvs #ocaml #math #logic #leanprover
José A. Alonso @[email protected] · 2026-07-20 · 09:57 UTC

Readings shared July 20, 2026. https://jaalonso.github.io/vestigium/posts/2026/07/20-readings_shared_07-20-26 #AI4Math #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #PVS #RocqProver

#rocqprover #pvs #math #logic #leanprover #isabellehol
José A. Alonso @[email protected] · 2026-07-20 · 09:57 UTC

Readings shared July 20, 2026. https://jaalonso.github.io/vestigium/posts/2026/07/20-readings_shared_07-20-26 #AI4Math #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #PVS #RocqProver

#rocqprover #pvs #math #logic #leanprover #isabellehol
José A. Alonso @[email protected] · 2026-07-20 · 09:57 UTC

Readings shared July 20, 2026. https://jaalonso.github.io/vestigium/posts/2026/07/20-readings_shared_07-20-26 #AI4Math #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #PVS #RocqProver

#rocqprover #pvs #math #logic #leanprover #isabellehol
José A. Alonso @[email protected] · 2026-07-20 · 09:57 UTC

Readings shared July 20, 2026. https://jaalonso.github.io/vestigium/posts/2026/07/20-readings_shared_07-20-26 #AI4Math #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #PVS #RocqProver

#ai4math #coqprover #functionalprogramming #haskell #itp #isabellehol
José A. Alonso @[email protected] · 2026-07-20 · 09:57 UTC

Readings shared July 20, 2026. https://jaalonso.github.io/vestigium/posts/2026/07/20-readings_shared_07-20-26 #AI4Math #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #PVS #RocqProver

#rocqprover #pvs #math #logic #leanprover #isabellehol
José A. Alonso @[email protected] · 2026-06-05 · 12:21 UTC

Readings shared June 5, 2026. https://jaalonso.github.io/vestigium/posts/2026/06/05-readings_shared_06-05-26 #AI4Math #Agda #Autoformalization #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #RacketLang

#racketlang #math #logic #leanprover #isabellehol #itp
José A. Alonso @[email protected] · 2026-06-05 · 12:21 UTC

Readings shared June 5, 2026. https://jaalonso.github.io/vestigium/posts/2026/06/05-readings_shared_06-05-26 #AI4Math #Agda #Autoformalization #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #RacketLang

#racketlang #math #logic #leanprover #isabellehol #itp
José A. Alonso @[email protected] · 2026-06-05 · 12:21 UTC

Readings shared June 5, 2026. https://jaalonso.github.io/vestigium/posts/2026/06/05-readings_shared_06-05-26 #AI4Math #Agda #Autoformalization #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #RacketLang

#racketlang #math #logic #leanprover #isabellehol #itp
José A. Alonso @[email protected] · 2026-06-05 · 12:21 UTC

Readings shared June 5, 2026. https://jaalonso.github.io/vestigium/posts/2026/06/05-readings_shared_06-05-26 #AI4Math #Agda #Autoformalization #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #RacketLang

#ai4math #agda #autoformalization #coqprover #functionalprogramming #haskell
José A. Alonso @[email protected] · 2026-06-05 · 12:21 UTC

Readings shared June 5, 2026. https://jaalonso.github.io/vestigium/posts/2026/06/05-readings_shared_06-05-26 #AI4Math #Agda #Autoformalization #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #RacketLang

#racketlang #math #logic #leanprover #isabellehol #itp
José A. Alonso @[email protected] · 2026-05-30 · 07:29 UTC

Readings shared May 29, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/30-readings_shared_05-29-26 #AI4Math #CoqProver #ITP #IsabelleHOL #LeanProver #Logic #Math

#math #logic #leanprover #isabellehol #itp #coqprover
José A. Alonso @[email protected] · 2026-05-30 · 07:29 UTC

Readings shared May 29, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/30-readings_shared_05-29-26 #AI4Math #CoqProver #ITP #IsabelleHOL #LeanProver #Logic #Math

#math #logic #leanprover #isabellehol #itp #coqprover
José A. Alonso @[email protected] · 2026-05-30 · 07:29 UTC

Readings shared May 29, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/30-readings_shared_05-29-26 #AI4Math #CoqProver #ITP #IsabelleHOL #LeanProver #Logic #Math

#math #logic #leanprover #isabellehol #itp #coqprover
José A. Alonso @[email protected] · 2026-05-30 · 07:29 UTC

Readings shared May 29, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/30-readings_shared_05-29-26 #AI4Math #CoqProver #ITP #IsabelleHOL #LeanProver #Logic #Math

#ai4math #coqprover #itp #isabellehol #leanprover #logic
José A. Alonso @[email protected] · 2026-05-30 · 07:29 UTC

Readings shared May 29, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/30-readings_shared_05-29-26 #AI4Math #CoqProver #ITP #IsabelleHOL #LeanProver #Logic #Math

#math #logic #leanprover #isabellehol #itp #coqprover
José A. Alonso @[email protected] · 2026-05-15 · 05:55 UTC

Readings shared May 14, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/15-readings_shared_05-14-26 #AI #AI4Math #CoqProver #Emacs #ITP #IsabelleHOL #LeanProver #Logic #LogicProgramming #Math #Prolog

#prolog #math #logicprogramming #logic #leanprover #isabellehol
José A. Alonso @[email protected] · 2026-05-15 · 05:55 UTC

Readings shared May 14, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/15-readings_shared_05-14-26 #AI #AI4Math #CoqProver #Emacs #ITP #IsabelleHOL #LeanProver #Logic #LogicProgramming #Math #Prolog

#prolog #math #logicprogramming #logic #leanprover #isabellehol
José A. Alonso @[email protected] · 2026-05-15 · 05:55 UTC

Readings shared May 14, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/15-readings_shared_05-14-26 #AI #AI4Math #CoqProver #Emacs #ITP #IsabelleHOL #LeanProver #Logic #LogicProgramming #Math #Prolog

#prolog #math #logicprogramming #logic #leanprover #isabellehol
José A. Alonso @[email protected] · 2026-05-15 · 05:55 UTC

Readings shared May 14, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/15-readings_shared_05-14-26 #AI #AI4Math #CoqProver #Emacs #ITP #IsabelleHOL #LeanProver #Logic #LogicProgramming #Math #Prolog

#ai #ai4math #coqprover #emacs #itp #isabellehol
José A. Alonso @[email protected] · 2026-05-15 · 05:55 UTC

Readings shared May 14, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/15-readings_shared_05-14-26 #AI #AI4Math #CoqProver #Emacs #ITP #IsabelleHOL #LeanProver #Logic #LogicProgramming #Math #Prolog

#prolog #math #logicprogramming #logic #leanprover #isabellehol
José A. Alonso @[email protected] · 2026-05-10 · 09:21 UTC

Readings shared May 9, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/10-readings_shared_05-09-26 #AI4Math #ATP #Aristotle #CompSci #CoqProver #FunctionalProgramming #Haskell #History #ITP #IsabelleHOL #LeanProver #Logic #Math #Mizar #Ocaml #RocqProver

#rocqprover #ocaml #mizar #math #logic #leanprover
José A. Alonso @[email protected] · 2026-05-10 · 09:21 UTC

Readings shared May 9, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/10-readings_shared_05-09-26 #AI4Math #ATP #Aristotle #CompSci #CoqProver #FunctionalProgramming #Haskell #History #ITP #IsabelleHOL #LeanProver #Logic #Math #Mizar #Ocaml #RocqProver

#rocqprover #ocaml #mizar #math #logic #leanprover
José A. Alonso @[email protected] · 2026-05-10 · 09:21 UTC

Readings shared May 9, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/10-readings_shared_05-09-26 #AI4Math #ATP #Aristotle #CompSci #CoqProver #FunctionalProgramming #Haskell #History #ITP #IsabelleHOL #LeanProver #Logic #Math #Mizar #Ocaml #RocqProver

#rocqprover #ocaml #mizar #math #logic #leanprover
José A. Alonso @[email protected] · 2026-05-10 · 09:21 UTC

Readings shared May 9, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/10-readings_shared_05-09-26 #AI4Math #ATP #Aristotle #CompSci #CoqProver #FunctionalProgramming #Haskell #History #ITP #IsabelleHOL #LeanProver #Logic #Math #Mizar #Ocaml #RocqProver

#ai4math #atp #aristotle #compsci #coqprover #functionalprogramming
José A. Alonso @[email protected] · 2026-05-10 · 09:21 UTC

Readings shared May 9, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/10-readings_shared_05-09-26 #AI4Math #ATP #Aristotle #CompSci #CoqProver #FunctionalProgramming #Haskell #History #ITP #IsabelleHOL #LeanProver #Logic #Math #Mizar #Ocaml #RocqProver

#rocqprover #ocaml #mizar #math #logic #leanprover