What is the canonical way to write to a file for logging in Isabelle/ML?
Last updated: May 04 2024 at 20:16 UTC