logoalt Hacker News

itishappy • yesterday at 10:05 PM • 0 replies • view on HN

Note that the Lean kernel itself is not formally verified.