Contact
Email
personal/unknown · GDPR-sensitive
t•••@b•••.edu🔒 Contacts are masked. Get full emails & phones. Unlock via export ↗
Category & trade
Primary
software-and-applications · embed-ft 0.35
Tree path
Technology & Computing › Computing › Software and Applications
Group (tier-1)
Also (top-3)
Tech stack
AI readiness
AI-Readiness score
40 / 100 · partial · see similar
AI training policy
allowed
AI-bot protection
AI files
llms.txt ai.txt humans.txt robots.txt
Compliance (GEO / GDPR)
TLD
Overview
Title
Forge, A Tool and Language for Teaching Formal Methods | Forge: A Tool and Language for Teaching Formal Methods
Description
Forge: A Tool and Language for Teaching Formal Methods
Final URL
Language
en (html)
Scanned at
2026-07-06 06:38:21