I can recommend SF, I just started it a week ago without prior Coq experience. I... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

porges on Aug 5, 2017 | parent | context | favorite | on: A formalization of category theory in Coq

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