Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
TezlaOil
on Aug 5, 2017
|
parent
|
context
|
favorite
| on:
A formalization of category theory in Coq
Software Foundations book [1] covers many case studies. One of the authors has a lecture course based around the book as well.
[1] softwarefoundations.cis.upenn.edu/current/index.html
noch
on Aug 5, 2017
|
next
[–]
Indeed: Benjamin Pierce's lectures on "Software Foundations in Coq"
https://www.youtube.com/playlist?list=PLGCr8P_YncjUT7gXUVJWS...
porges
on Aug 5, 2017
|
prev
[–]
I can recommend SF, I just started it a week ago without prior Coq experience. I'm using the VSCode integration which helps, CoqIDE is a bit clunky.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
[1] softwarefoundations.cis.upenn.edu/current/index.html