Attribution in most cases is given to where the person first learned of the concept, not per se, the historical accuracy of who came first with the concept. Af

Attribution in most cases is given to where the person first learned of the concept, not per se, the historical accuracy of who came first with the concept. After all, it should rightfully be attributed to the Isabelle/ML programming lanaguage[0][1] [0]https://isabelle.in.tum.de/ https://isabelle.in.tum.de/ [1]https://docs.microsoft.com/en-us/archive/blogs/dsyme/archeological-semiotics-the-birth-of-the-pipeline-symbol-1994 https://docs.microsoft.com/en-us/archive/blogs/dsyme/archeol...