Home Original page

abdoo8080 - Overview

Skip to content

Navigation Menu

Sign in

Appearance settings

View abdoo8080's full-sized avatar

Abdalrhman Mohamed abdoo8080

Organizations

@CVC4 @cvc5

Block or report abdoo8080

Pinned Loading

  1. A Foreign Function Interface (FFI) to cvc5 solver in Lean.

    Lean 24 10

  2. Forked from cvc5/cvc5

    cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

    SMT 1 1

  5. Experiments on automation for Lean

    Lean 163 26