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: May 18 2025 at 04:27 UTC