bustamante

bustamante's Stars

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.1k1795.5k1.5k

• Kaggle/kaggle-api

  Official Kaggle API

  Language:Python6.1k1974771.1k

• OpenLogicProject/OpenLogic

  An open-source, customizable intermediate logic textbook

  Language:TeX1k99169237

• oscarlevin/discrete-book

  An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado

  Language:TeX2071410664