Category & trade
Primary
programming-languages · embed-ft 0.52
Tree path
Technology & Computing › Computing › Programming Languages
Group (tier-1)
Tech stack
AI readiness
AI-Readiness score
34 / 100 · partial · see similar
AI training policy
reserved
AI-bot protection
Blocked AI bots
AI files
Evidence
robots:Meta-ExternalAgent+GPTBot
Compliance (GEO / GDPR)
TLD
Overview
Title
Welcome to a World of Rocq
Description
Rocq is a general-purpose, industrial-strength interactive theorem prover.
Final URL
Language
en (html)
Scanned at
2026-07-08 10:54:30