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: Mar 20 2026 at 05:16 UTC