Pirate

MaRDI QIDQ31037swMATHFDO

Official website http://people.mpi-inf.mpg.de/~dwand/tacas15/d.pdf

Cited in

(3)

• TIP: tons of inductive problems
• Graphsc
• TIP: tools for inductive provers

This page was built for software: Pirate