Smooth manifolds and types to sets for linear algebra in Isabelle/HOL

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 14, 2019
Source ID
10.1145/3293880.3294093

Entities

People

  • Bohua Zhan
  • Fabian Immler

Organizations

  • Air Force Office of Scientific Research
  • Carnegie Mellon University
  • Chinese Academy of Sciences
  • German Research Foundation