Stream: Mirror: Isabelle Development Mailing List

Topic: How to build for arm64-darwin from source?

view this post on Zulip Aaron Chen (Feb 15 2023 at 10:11):

I know it is probably not working yet, but I wonder why and want to work on that.

Last updated: Oct 02 2026 at 20:26 UTC