CyberSecurity part 24

Functional Programming in Coq

Staying on the theme of programming and cybersecurity, this course is about Functional Programming in Coq and was mentioned on the Libreplanet discuss mailing list. It may be useful generally as a way to learn skills that can be applied to other languages or just generally.

#CyberSecurity,#Coding,#Functional,#Programming,#COQ

MastodonPeertubeQoto sign up

Donate using Liberapay