Publications Details

Publications / Conference Paper

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

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

Abstract not provided.