{"id":"oak-coq","name":"oak-coq","af_score":null,"security_score":null,"reliability_score":null,"what_it_does":"Coq theorem prover language parser with support for dependent types and formal verification.","best_when":null,"avoid_when":null,"last_evaluated":null}