Sign in Create account

#prover9 — Public Fediverse posts

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

José A. Alonso @[email protected] · 2026-04-10 · 07:13 UTC

Readings shared April 9, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/10-readings_shared_04-09-26 #AI #AI4Math #ATP #Agda #FunctionalProgramming #ITP #IsabelleHOL #LeanProver #Math #Prover9

#prover9 #math #leanprover #isabellehol #itp #functionalprogramming
José A. Alonso @[email protected] · 2026-04-09 · 17:06 UTC

An optimal 14-symbol hybrid basis for BCH-algebras. ~ Mahesh Ramani, Shlok Kumar. https://arxiv.org/abs/2603.29137v1 #Prover9 #ATP #Math

#math #atp #prover9
José A. Alonso @[email protected] · 2025-07-13 · 06:37 UTC

Readings shared July 12, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/13-readings_shared_07-12-25 #ASP #ATP #CLP #CategoryTheory #CoqProver #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog #ProofTheory #Prover9

#prover9 #prooftheory #prolog #math #logicprogramming #logic
José A. Alonso @[email protected] · 2025-03-19 · 08:40 UTC

Readings shared March 18, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/18-readings_shared_03-18-25 #AI #ASP #ATP #CLP #CommonLisp #Datalog #FunctionalProgramming #Haskell #ITP #IsabelleHOL #Logic #LogicProgramming #Mace #Math #Otter #Prolog #Prover9 #SMT #Z3

#z3 #smt #prover9 #prolog #otter #math