Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/anton-trunov/ssreflect-mathcomp-talk-moscow-2019
SSReflect/Mathcomp talk at FProg meetup(2019), Moscow
https://github.com/anton-trunov/ssreflect-mathcomp-talk-moscow-2019
coq mathcomp slides ssreflect
Last synced: 8 days ago
JSON representation
SSReflect/Mathcomp talk at FProg meetup(2019), Moscow
- Host: GitHub
- URL: https://github.com/anton-trunov/ssreflect-mathcomp-talk-moscow-2019
- Owner: anton-trunov
- License: unlicense
- Created: 2019-04-06T12:23:36.000Z (over 5 years ago)
- Default Branch: gh-pages
- Last Pushed: 2019-04-08T17:51:25.000Z (over 5 years ago)
- Last Synced: 2024-10-11T21:46:51.932Z (about 1 month ago)
- Topics: coq, mathcomp, slides, ssreflect
- Language: JavaScript
- Homepage: https://anton-trunov.github.io/ssreflect-mathcomp-talk-moscow-2019
- Size: 2.82 MB
- Stars: 2
- Watchers: 4
- Forks: 0
- Open Issues: 0