Post
Lean Focused Research Organization
lean-lang.org
did:plc:devnu4zs2viutk26clxykpbb
Software Verification in Lean (SVIL) comes to Stanford University on Saturday, November 7, co-organized by the Beneficial AI Foundation and the Lean FRO.
Program and registration: beneficial-ai-foundation.github.io/SVIL2026_Fall/
https://beneficial-ai-foundation.github.io/SVIL2026_Fall/
2026-10-26T22:24:20.170Z