Popular repositories Loading

1. cvc5 cvc5 Public

   Forked from cvc5/cvc5

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

   SMT 1

2. elcord elcord Public

   Forked from Mstrodl/elcord

   Discord Rich Presence / Gamebridge support for Emacs!

   Emacs Lisp

3. lean-cvc5 lean-cvc5 Public

   Forked from abdoo8080/lean-cvc5

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

   Lean

4. lsp-mode lsp-mode Public

   Forked from emacs-lsp/lsp-mode

   Emacs client/library for the Language Server Protocol

   Emacs Lisp

5. ff-proofs-benchmark ff-proofs-benchmark Public

   Python