Stream: General

Topic: Isabelle on PolyML master


view this post on Zulip irvin (Dec 26 2025 at 04:41):

Has anyone bisected the actual commit causing the problem of PolyML failing on master as noted in this comment by markarius? https://github.com/polyml/polyml/issues/243#issuecomment-3618649526


Last updated: Dec 28 2025 at 02:03 UTC