Coq 소스코드 분석할 수 있는 수준이 되도록 공부하는 게 목표인데,

OCaml 튜토리얼 보고 또 뭘 봐야 됨?

그리고 cppreference.com 같은 레퍼런스 사이트 있음?