Small Numbers

Popular repositories Loading

1. numbers numbers Public

   A collection of combinatorial functions and their values on small numbers

   C 5 1

2. proofs proofs Public

   A collection of SMT proofs of results.