Lurch Plus proof verification

Stream: general

[Steven Clontz]

If you're interested in learning about the https://lurch.plus/ proof verification system which aims to bridge natural language proofs with formal verification, maintainer Ken Monks is giving a talk on it for https://code4math.org in about 45 minutes.

image.png

You can join the discussion at https://code4math.zulipchat.com/#narrow/channel/522523-Convenings/topic/October.202025.20Convening.20-.20Lurch.20Plus!/with/543379226