Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Coq> . }
Showing items 1 to 10 of
10
with 100 items per page.
- Mizar_system influenced Coq.
- Agda_(programming_language) influencedBy Coq.
- Idris_(programming_language) influencedBy Coq.
- COQ wikiPageRedirects Coq.
- Coq_(proof_assistant) wikiPageRedirects Coq.
- Coq_project wikiPageRedirects Coq.
- Coq_proof_assistant wikiPageRedirects Coq.
- Agda_(programming_language) influencedBy Coq.
- Idris_(programming_language) influencedBy Coq.
- Coq primaryTopic Coq.