Repositories list

• tools

  Public
  Haskell

  •7•21•3•0•Updated Jan 25, 2024Jan 25, 2024

• 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•24•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