Interactive Theorem Proving on Hierarchically and Modularly Structured Set of Very Many Axioms.

Michio Honda, Reiji Nakajima

Browse the full IJCAI paper archive.