These are materials for my “SSReflect/Mathcomp” talk given on Apr. 4, 2019 at FProg meetup, Moscow.
anton-trunov / ssreflect-mathcomp-talk-moscow-2019 Goto Github PK
View Code? Open in Web Editor NEWSSReflect/Mathcomp talk at FProg meetup(2019), Moscow
Home Page: https://anton-trunov.github.io/ssreflect-mathcomp-talk-moscow-2019
License: The Unlicense