https://github.com/cohencyril/spectral

Spectral Theorem formalized in Coq (Draft)
https://github.com/cohencyril/spectral

coq mathcomp spectral ssreflect

Last synced: about 1 month ago
JSON representation

Spectral Theorem formalized in Coq (Draft)

• Host: GitHub
• URL: https://github.com/cohencyril/spectral
• Owner: CohenCyril
• License: other
• Created: 2016-09-28T08:06:59.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2018-07-27T12:01:41.000Z (over 6 years ago)
• Last Synced: 2024-11-13T06:52:38.391Z (3 months ago)
• Topics: coq, mathcomp, spectral, ssreflect
• Language: Coq
• Homepage:
• Size: 64.5 KB
• Stars: 1
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# spectral

Spectral Theorem formalized in Coq, Draft! Use with caution

Unfinished work. The use of forms is still very dirty for now...

This is now a branch of mathcomp called forms, please do not depend on this repo anymore