Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)

AI use, as the source states it

“Both dGLP and madGLP serve as formal specifications for an AI-driven implementation discipline (math \to informal spec \to Dart) employed and described here: from dGLP, AI (Claude) developed a workstation-based GLP implementation in Dart, and from madGLP it is developing a smartphone-based multiagent one.”

Model: Claude, as stated