Functional Programming and Theorem Proving in Lean 4 Posted by rck on Wednesday May 28, 2025 @08:51PM from the web.stanford.edu dept. https://web.stanford.edu/class/cs99/ ( no comments | 4 points | on HN )
There are no comments yet.