MRG home page· Research · Publications·Projects·Software ·People

Inductive Theorem Provers Of The World

This page has been moved to the Google Document: the list of inductive theorem provers of the world.

InductiveProversOfTheWorld (last edited 2011-03-23 04:10:06 by ldixon)