Coq formalization of matrix differentiation

=============

	Peng Wang (wangp.thu@gmail.com)

=============

Folder structure:

  theories: Coq formalization of matrix differentiation

License:

  This library is under the CeCILL-B license, found in file CeCILL-B