Category & trade
Primary
technology-and-computing · embed-ft 0.21
Tree path
Technology & Computing
Group (tier-1)
Also (top-3)
physics0.21
AI readiness
AI-Readiness score
20 / 100 · not-ready · see similar
AI training policy
reserved
AI-bot protection
Blocked AI bots
Monetization signal
opportunity This site already blocks AI crawlers — Could license access via Cloudflare Pay-Per-Crawl, TollBit or an x402 paywall.
AI files
Evidence
robots:ChatGPT-User+Amazonbot+anthropic-ai+Claude-Web+CCBot+GPTBot+OAI-SearchBot
Compliance (GEO / GDPR)
TLD
Overview
Title
Physlib: Digitalizing Physics in Lean 4
Description
An open-source community project to digitalize results from physics into Lean 4. Formerly PhysLean & Lean-QuantumInfo.
Final URL
Language
en (html)
Scanned at
2026-07-10 09:53:38