code4math Community on Mythryl: “Join us tomorrow 3pm Eastern on Zoom for our October 2025…”

Join us tomorrow 3pm Eastern on Zoom for our October 2025 Concerning. preview.scholarlattice.org/events/77211... Ken Monks will be sharing about the Lurch Plus project: write natural language proofs that are verified by computer?! lurch.plus

lurch.plusLurch Plus!This is the home page for lurch.plus, the home of the Lurch proof assistant, plus additional content.

5/10/25, 7:50 pm2 reposts3 likes

Post