Skip to content

@smallnumbers Small Numbers

Change the repository type filter

All

    Repositories list

    2 repositories

    • numbers

      Public
      A collection of combinatorial functions and their values on small numbers
      C
      •
      MIT License
      •1•4•4•0•Updated Jul 10, 2021Jul 10, 2021

    • proofs

      Public
      A collection of SMT proofs of results.
      MIT License
      •0•0•0•0•Updated Jul 25, 2018Jul 25, 2018