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: about 1 month 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 (almost 6 years ago)
• Default Branch: gh-pages
• Last Pushed: 2019-04-08T17:51:25.000Z (almost 6 years ago)
• Last Synced: 2024-11-06T07:03:34.674Z (3 months 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
• Metadata Files:
  • Readme: README.org
  • License: LICENSE

Awesome Lists containing this project

README

        
* SSReflect/Mathcomp talk

  

These are materials for my "SSReflect/Mathcomp" talk given on Apr. 4, 2019 at FProg meetup, Moscow.