wedescribethetrialsandtribulationsofanattempttoformalizethen dimensionalversionofstokes theorem published presentations and documents on DocSlides.