https://github.com/anton-trunov/ssreflect-london-tydd-meetup

SSReflect talk at London Type-Driven Development meetup
https://github.com/anton-trunov/ssreflect-london-tydd-meetup

coq mathcomp ssreflect

Last synced: 4 months ago
JSON representation

SSReflect talk at London Type-Driven Development meetup

• Host: GitHub
• URL: https://github.com/anton-trunov/ssreflect-london-tydd-meetup
• Owner: anton-trunov
• Created: 2021-03-23T16:42:23.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2021-04-20T16:59:06.000Z (almost 4 years ago)
• Last Synced: 2024-07-29T17:45:01.864Z (6 months ago)
• Topics: coq, mathcomp, ssreflect
• Language: HTML
• Homepage:
• Size: 3.17 MB
• Stars: 6
• Watchers: 4
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project