Establishing trust in automated reasoning | alphaXiv very nicely summarizes some of the defining aspects of what I think we’re trying to achieve with this whole “immutable” and “pure functional” agenda:
…
…
12 Likes