Functional Programming and Theorem Proving in Lean 4

1 week ago 5

Article URL: https://web.stanford.edu/class/cs99/

Comments URL: https://news.ycombinator.com/item?id=44122005

Points: 1

# Comments: 0

Read Entire Article
  1. Homepage
  2. Technology
  3. Functional Programming and Theorem Proving in Lean 4

Related

A masochist's guide to web development

A masochist's guide to web development

16 minutes ago 1
Pwnat

Pwnat

18 minutes ago 1
Gemini and Vercel AI SDK Cheatsheet

Gemini and Vercel AI SDK Cheatsheet

18 minutes ago 1
Hostinger Web Hosting