Home Original page

Small Numbers

Skip to content

Navigation Menu

Sign in

Appearance settings

@smallnumbers

Popular repositories Loading

  1. A collection of combinatorial functions and their values on small numbers

    C 5 1

  2. A collection of SMT proofs of results.

Repositories

Type
Select type

Language
Sort
Select order

Showing 2 of 2 repositories

  • numbers Public

    A collection of combinatorial functions and their values on small numbers

    smallnumbers/numbers’s past year of commit activity

    C

    5

    MIT

    1 4 0

    Updated Jul 10, 2021

  • proofs Public

    A collection of SMT proofs of results.

    smallnumbers/proofs’s past year of commit activity

    0 MIT 0

    0 0

    Updated Jul 25, 2018

Most used topics

Loading…