-
bollu.github.io Public
code + contents of my website, and programming life
-
The one where bollu becomes financepilled
-
nonlin-mba-blast-hensel Public
A conjectural nonlinear version of the MBA blast algorithm based on hensel's lemma
-
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
-
-
-
-
IC3Ref Public
A up to date version of Aaron Bradley's IC3Ref that actually builds
-
Leanwuzla Public
Forked from hargoniX/LeanwuzlaConnecting bv_decide to SMTLIB.
-
makaninette Public
A clean, minimal implementation of Makanin's algorithm
-
the-fruit-loop Public
Forked from ralismark/the-fruit-loopA webring for some friends
-
-
integral-dreal Public
Forked from codyjrivera/int-dreal-artifactChecking δ-Satisfiability of Reals with Integrals
SMT GNU General Public License v3.0 UpdatedApr 16, 2025 -
-
-
-
luisacicolini.github.io Public
Forked from luisacicolini/luisacicolini.github.io -
RingOfIntegersProject Public
Forked from alainchmt/RingOfIntegersProjectCertifying rings of integers in number fields with Lean
-
-
pointerchase.lean Public
The one where bollu bends well founded induction for convenient pointer chasing APIs
-
-
libpoly Public
Forked from SRI-CSL/libpolyLibPoly is a C library for manipulating polynomials
-
ELFSage Public
Forked from draperlaboratory/ELFSageA toy ELF parser/validator
-
MicroHs Public
Forked from augustss/MicroHsHaskell implemented with combinators
-
raylean Public
Forked from funexists/rayleanLean4 bindings for raylib
-
LNSym Public
Forked from leanprover/LNSymArmv8 Native Code Symbolic Simulator in Lean
-
xdsl Public
Forked from xdslproject/xdslA Python Compiler Design Toolkit
-
-
lean-sys Public
Forked from digama0/lean-sysRust bindings for the Lean 4 proof assistant
{{ message }}