complex_integration
May 4, 2021 · View on GitHub
Functional Analysis.
Highlights
Major theorems
| Theorem | Location | PVS Name | Contributors |
|---|
Contributors
- David Lester, Manchester University, UK
- César Muñoz, NASA, USA
- Sam Owre, SRI, USA
- Mariano Moscato, NIA & NASA, USA
Maintainer
- César Muñoz, NASA, USA
Dependencies
