[go: up one dir, main page]
Skip to content
@tip-org

tons of inductive problems

Popular repositories Loading

  1. benchmarks benchmarks Public

    Tons of Inductive Problems: The Benchmarks

    SMT 24 6

  2. tools tools Public

    Haskell 21 7

  3. tip-org.github.io tip-org.github.io Public

    Tons of Inductive Problems: the webpage

    HTML 1

  4. tools-paper tools-paper Public

    TeX 1

  5. cicm-paper cicm-paper Public

    TeX

Repositories

Showing 5 of 5 repositories
  • tools Public
    tip-org/tools’s past year of commit activity
    Haskell 21 7 3 0 Updated Jan 25, 2024
  • tip-org.github.io Public

    Tons of Inductive Problems: the webpage

    tip-org/tip-org.github.io’s past year of commit activity
    HTML 1 0 0 0 Updated Jul 5, 2023
  • benchmarks Public

    Tons of Inductive Problems: The Benchmarks

    tip-org/benchmarks’s past year of commit activity
    SMT 24 BSD-3-Clause 6 0 0 Updated Jul 5, 2023
  • tools-paper Public
    tip-org/tools-paper’s past year of commit activity
    TeX 1 0 0 0 Updated Sep 15, 2015
  • cicm-paper Public
    tip-org/cicm-paper’s past year of commit activity
    TeX 0 0 0 0 Updated Jul 6, 2015

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…