logoalt Hacker News

deterministic • today at 2:16 AM • 0 replies • view on HN

Lean is based on Type Theory not ZFC.