Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] integration with LLMs for autocomplete, sugges...

view this post on Zulip Email Gateway (May 01 2025 at 13:47):

From: David <davfuenmayor@gmail.com>
Is anyone using cursor, windsurf, copilot, etc. with Isabelle code? How has
been your experience?

In a similar vein: are you aware of any projects on integrating LLM-based
feedback with Isabelle?

Thanks for your help!
David

Last updated: May 30 2025 at 04:27 UTC