6,140 followers
#Publication - Tip: Tools for inductive provers | TIP is a toolbox for users and developers of inductive provers. … https://t.co/BWPVfHMKdl
#Publication - Tip: Tools for inductive provers | TIP is a toolbox for users and developers of inductive provers. … https://t.co/BWPVfHMKdl