I saw this posted on r/ProgrammingLanguages. I hadn't heard of this language before, but it looks neat.
https://en.wikipedia.org/wiki/Dafny
Recordings are available here: https://www.nationalacademies.org/event/06-12-2023/ai-to-assist-mathematical-reasoning-a-workshop