Pages that link to "Q1131652"
Jump to navigation
Jump to search
The following pages link to Coq (Q1131652):
Displaying 22 items.
- Agda (Q20479) (← links)
- Coq (Q561118) (← links)
- Thierry Coquand (Q3524190) (← links)
- CompCert (Q5155256) (← links)
- Lean (Q6509476) (← links)
- Idris (Q15408477) (← links)
- (Q28600438) (redirect page) (← links)
- 1000 theorems project (Q128207330) (← links)
- User:Be nt all/Watchlist/ruwiki (← links | edit)
- User:QZanden/DNM/6 (← links | edit)
- User:YULdigitalpreservation/FileFormatsList (← links | edit)
- Wikidata:Database reports/Constraint violations/P37 (← links | edit)
- Wikidata:Database reports/Constraint violations/P856 (← links | edit)
- Wikidata:Database reports/Constraint violations/P348 (← links | edit)
- Wikidata:Database reports/Constraint violations/P1324 (← links | edit)
- Wikidata:Database reports/Constraint violations/P963 (← links | edit)
- Wikidata:Do not merge/06 (← links | edit)
- Wikidata:WikiProject Influence/DBpedia/16 (← links | edit)
- Wikidata:WikiProject Influence/DBpedia/36 (← links | edit)
- Wikidata:WikiProject Influence/DBpedia/50 (← links | edit)
- Wikidata:WikiProject Informatics/Languages/List (← links | edit)
- Wikidata:WikiProject Video games/Reports/Platform/cross-platform (← links | edit)