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 December 29, 2025. jaalonso.github.io/vestigium/p #AI #Agda #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #OCaml #Rocq #SMT

    #smt #rocq #ocaml #math #logic #leanprover
  2. José A. Alonso @[email protected] ·

    Readings shared October 10, 2025. jaalonso.github.io/vestigium/p #AI #CoqProver #Dafny #FormalMethods #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Programming

    #programming #math #logic #leanprover #isabellehol #itp