from Hacker News

Functional Programming and Theorem Proving in Lean 4

by rck on 5/29/25, 12:51 AM with 0 comments