Popular repositories Loading

1. lean-cvc5 lean-cvc5 Public

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

   Lean 10 3

2. paper-fmcad23-artifact paper-fmcad23-artifact Public

   Slash 1

3. avr_demo avr_demo Public

   Forked from tuupola/avr_demo

   Atmel demo code. Does not use any Arduino libraries. I want to learn this the hard way (tm).

   Makefile

4. project project Public

   Jupyter Notebook

5. cvc5 cvc5 Public

   Forked from cvc5/cvc5

   cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

   SMT

6. deep-learning-project deep-learning-project Public

   Jupyter Notebook