Publications

Publications / Conference Paper

Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge

Witzel, Wayne W.; Craft, Warren C.; Carr, Robert C.; Madrid Larranaga, Joaquin E.

Abstract not provided.