Functionspaces
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
Library of complex function vector spaces
(c) Copyright, Mohamed Yousri Mahmoud, Vincent Aravantinos, 2012-2013
Hardware Verification Group,
Concordia University
Contact: <[email protected]>, <[email protected]>
Distributed with HOL Light under same license terms