Skip to content

@tip-org tons of inductive problems

Change the repository type filter

All

    Repositories list

    5 repositories

    • tools

      Public
      Haskell
      •8•23•3•0•Updated Apr 15, 2026Apr 15, 2026

    • tip-org.github.io

      Public
      Tons of Inductive Problems: the webpage
      HTML
      •0•1•0•0•Updated Jul 5, 2023Jul 5, 2023

    • benchmarks

      Public
      Tons of Inductive Problems: The Benchmarks
      SMT
      •
      BSD 3-Clause "New" or "Revised" License
      •6•27•0•0•Updated Jul 5, 2023Jul 5, 2023

    • tools-paper

      Public
      TeX
      •0•1•0•0•Updated Sep 15, 2015Sep 15, 2015

    • cicm-paper

      Public
      TeX
      •0•0•0•0•Updated Jul 6, 2015Jul 6, 2015
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.