Category & trade
Primary
technology-and-computing · embed-ft 0.39
Tree path
Technology & Computing
Group (tier-1)
Also (top-3)
Tech stack
Framework
Mobile apps
iOS — App Store ↗AI readiness
AI-Readiness score
24 / 100 · not-ready · see similar
AI training policy
prohibited
ToS prohibits AI
yes
Terms of Service
AI-bot protection
AI files
llms.txt ai.txt humans.txt robots.txt
Evidence
tos:no-ai-training
Compliance (GEO / GDPR)
TLD
Overview
Title
GitHub - quantifier-hub/assertion-prover: a formally verified, automated prover for the first-order logic · GitHub
Description
a formally verified, automated prover for the first-order logic - quantifier-hub/assertion-prover
Final URL
Language
en (html)
Scanned at
2026-07-11 03:22:31