Category
Primary
artificial-intelligence · embed-ft 0.49
Tree path
Technology & Computing › Artificial Intelligence
Group (tier-1)
Tech stack
CDN
AI readiness
Compliance (GEO / GDPR)
TLD
Overview
Title
MerLean — AI-assisted Lean formalization and theorem proving
Description
MerLean builds AI-assisted workflows for Lean 4 autoformalization, theorem proving, and machine-checked verification.
Final URL
Language
en (html)
Scanned at
2026-06-18 22:50:28