Questions tagged [standard-ml]

Use this tag with for the programming language Standard ML. Do not use this for the programming language ML if it does not meet the standard. Do not use this tag with machine learning.

Filter by
Sorted by
Tagged with
5 votes
2 answers
123 views

Standard ML is used for many proof systems. Is there a recommended implementation to use for Isabelle?

Is there a recommended implementation of Standard ML to use for Isabelle? Note: An answer should strive to include why that implementation (noted in build instructions is acceptable). While not needed ...
  • 2,796