Skip to content
@tip-org

tons of inductive problems

Popular repositories Loading

  1. benchmarks benchmarks Public

    Tons of Inductive Problems: The Benchmarks

    SMT 26 6

  2. tools tools Public

    Haskell 21 8

  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
    Haskell 21 8 3 0 Updated Feb 24, 2025
  • tip-org.github.io Public

    Tons of Inductive Problems: the webpage

    HTML 1 0 0 0 Updated Jul 5, 2023
  • benchmarks Public

    Tons of Inductive Problems: The Benchmarks

    SMT 26 BSD-3-Clause 6 0 0 Updated Jul 5, 2023
  • tools-paper Public
    TeX 1 0 0 0 Updated Sep 15, 2015
  • cicm-paper Public
    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.