Pinned Repositories
abstract-integers
empty
essence-ad
exact-real
Study and implement exact real arithmetic
haskell-sat-solver
john-baez-challenge
ocaml-sat-solver
quantum-groups
The LaTeX files of my dissertation and two related papers.
sat-tools
Tools to reduce problems to SAT
verified-algebra
Composable algebraic structures and proofs
jeroennoels's Repositories
jeroennoels/john-baez-challenge
jeroennoels/abstract-integers
jeroennoels/empty
jeroennoels/essence-ad
jeroennoels/exact-real
Study and implement exact real arithmetic
jeroennoels/haskell-sat-solver
jeroennoels/ocaml-sat-solver
jeroennoels/quantum-groups
The LaTeX files of my dissertation and two related papers.
jeroennoels/sat-tools
Tools to reduce problems to SAT
jeroennoels/sat-tools-template
jeroennoels/sql-design
database design patterns
jeroennoels/verified-algebra
Composable algebraic structures and proofs
jeroennoels/verified-exact-real
Verified exact real arithmetic in idris