Stream: General

Topic: Speeding up isabelle scala build times

view this post on Zulip Milan Tom (Mar 05 2025 at 15:52):

Is there any way to speed up build times when running isabelle scala (e.g. by integrating with bloop)?

Last updated: Feb 06 2026 at 20:37 UTC