Category
Primary
software-and-applications · embed-ft 0.5
Tree path
Technology & Computing › Computing › Software and Applications
Group (tier-1)
Also (top-3)
Tech stack
AI readiness
AI training policy
reserved
AI-bot protection
Blocked AI bots
AI files
Evidence
robots:Amazonbot+Applebot-Extended+Bytespider+CCBot+ClaudeBot+Google-Extended+GPTBot+Meta-ExternalAgent
Compliance (GEO / GDPR)
TLD
Overview
Title
Kleis - Universal Verification Platform
Description
Kleis is a universal verification platform for mathematics, business rules, and formal methods. Features Hindley-Milner type inference, Z3 theorem prover integration, and self-hosting capabilities.
Final URL
Language
en (html)
Scanned at
2026-06-23 21:44:45