home.social
Sign in Create account

#cvc5 — Public Fediverse posts

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

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

    Lecturas compartidas el 16 de marzo de 2024. jalonso.substack.com/lecturas- #Coq #FormalVerification #ILP #ITP #IsabelleHOL #Lean4 #LogicProgramming #SMT #cvc5

    #cvc5 #smt #logicprogramming #lean4 #isabellehol #itp
  2. José A. Alonso @[email protected] ·

    Reconstructing cvc5 proofs in Isabelle/HOL (Part I: Communication between Isabelle and cvc5). ~ Hanna Lachnitt. cvc5.github.io/blog/2024/03/15 #ITP #IsabelleHOL #SMT #cvc5

    #cvc5 #smt #isabellehol #itp
  3. Buridan's procrastinator ⁂ @[email protected] ·

    #CVC5 fails to build :-(

    #cvc5
  4. Buridan's procrastinator ⁂ @[email protected] ·

    I'm going to try out #cvc5.

    my computer is compiling it right now.

    *proper* AI. 😎

    #cvc5