home.social

#coqprover — Public Fediverse posts

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

  1. José A. Alonso @[email protected] ·

    Readings shared April 4, 2026. jaalonso.github.io/vestigium/p #AI #AI4Math #ATP #Agda #AlphaProof #Autoformalization #CategoryTheory #CoqProver #FunctionalProgramming #ITP #IsabelleHOL #LLMs #LambdaCalculus #LeanProver #Lisp #Logic #LogicProgramming #LLMs #Math #Physics #Programming #Prolog #Racket #RocqProver #Vampire

    #vampire #rocqprover #racket #prolog #programming #physics