Katherine Kosaian (Apr 22 2024 at 19:10): Katherine Kosaian (Apr 22 2024 at 19:10):Hi all, perhaps many of you have seen Talia Ringer's list of resources for AI/math which overviews lots of different theorem provers, including Isabelle; this list has recently gotten a lot of attention (including a blog post from Terence Tao). Talia is crowdsourcing additions to this list, and this might be a nice chance for the Isabelle community to plug some of Isabelle's nice features (this is already being done effectively on this list for other theorem provers, particularly Lean, but perhaps not yet so much for Isabelle).
Wenda Li (Apr 23 2024 at 04:02):Thanks for your suggestions, Katherine! I will see if I can add something there.
Last updated: Dec 21 2024 at 12:33 UTC