> any big non language projects written in OCaml Coq proof assistant (https://coq.inria.fr https://coq.inria.fr). Well, you can say it is language-related, bu

> any big non language projects written in OCaml Coq proof assistant (https://coq.inria.fr https://coq.inria.fr). Well, you can say it is language-related, but it’s a lot more than that.