What is the canonical way to write to a file for logging in Isabelle/ML?
Last updated: Apr 26 2024 at 01:06 UTC