Pinned Repositories
boogie
Boogie
cvc5
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
diem
Diem’s mission is to enable a simple global payment system and financial infrastructure that empowers billions of people.
homebrew-boneyard
:skull: Archive of formulae removed from the Homebrew package manager
modern_design
Repository for working on Stanford class on modern design
move
mvalentine.github.io
diem
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
move
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
barrettcw's Repositories
barrettcw/cvc5
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
barrettcw/boogie
Boogie
barrettcw/move
barrettcw/diem
Diem’s mission is to enable a simple global payment system and financial infrastructure that empowers billions of people.
barrettcw/mvalentine.github.io
barrettcw/modern_design
Repository for working on Stanford class on modern design
barrettcw/homebrew-boneyard
:skull: Archive of formulae removed from the Homebrew package manager