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. tp-heuristica-ufmg-2025 tp-heuristica-ufmg-2025 Public

   Forked from rangel-avila/tp-heuristica-ufmg-2025

   TeX

4. lean-cvc5 lean-cvc5 Public

   Forked from abdoo8080/lean-cvc5

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

   Lean

5. lsp-mode lsp-mode Public

   Forked from emacs-lsp/lsp-mode

   Emacs client/library for the Language Server Protocol

   Emacs Lisp