Questions tagged [build]

The process of converting source code files into standalone software artifact(s) that can be run on a computer.

Filter by
Sorted by
Tagged with
5 votes
2 answers
181 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 ...
Guy Coder's user avatar
  • 2,836