It's not difficult to answer this question, but for this it's useful to sketch briefly the origins of the term *Weyl module*. As usual in mathematics, the history and attributions are somewhat convoluted, but the main developments can be reconstructed in outline form:

1) Following decades of classical development in Lie theory, a major breakthrough came with Chevalley's 1955 *Tohoku* paper in which he showed uniformly how to construct a $\mathbb{Z}$-basis (unique up to sign choices) for each simple Lie algebra over $\mathbb{C}$ which permits a good "reduction mod $p$ for arbitary primes. In effect he incorporated factorial denominators into his basis construction, so certain "exponentials" can be constructed as polyunomials even in characteristic $p$. After change of basis to an arbitrary field $k$, these elements generate a *Chevalley group*, essentially a $k$-form of an associated simple algebraic group of adjoint type. Over finite fields he gets related simple groups including some never constructed before.

2) In his 1956-58 Paris seminar on classification of semisimple algebraic groups, Chevalley observed that groups of all possible types exist based on his $\mathbb{Z}$-form approach. His Bourbaki seminar talk (exp. 219, 1960-61) explained how to convert this into something like scheme language in terms of a $\mathbb{Z}$-form of the function algebra. But not all details are given (and some are out of focus). A more definitive version was given by Lusztig in J. Amer. Math. Soc. 2009.

3) Steinberg's Yale lectures on Chevalley groups (1967-68) streamlined the construction of all types of groups, including the various twisted groups, and began the study of representations in characteristic $p$ in terms of reduction mod $p$ of simple finite dimensional modules with dominant integral highest weights. A crucial role is played by Kostant's construction of a suitable integral form in the universal enveloping algebra, which he presented at the 1965 Boulder summer conference (and where Steinberg also lectured, while Verma and I were among the graduate students attending). The basic constructions here were included in my 1972 Springer graduate text. Meanwhile Warren Wong had extended some of the ideas in terms of "contravariant" forms.

4) In my 1971 J. Algebra paper, I didn't yet give a name to the modules obtained from a minimal "admissible" $\mathbb{Z}$-form, but I was able to extend the theory of these highest weight modules and their possible composition factors. This work got taken up by Verma in his lecture notes from the 1971 Budapest summer school organized by Gelfand (published some years later); he emphasized the hidden but essential role of an affine Weyl group. In a footnote he also called attention to the 1974 paper by Carter and Lusztig (*Proc. London Math. Soc.*), where the interplay of representations for special linear and symmetric groups was treated
in the Chevalley group setting mod $p$. They made my "linkage" result more precise and dubbed the unnamed modules of highest weight *Weyl modules* (in part at least because their formal characters are still given by Weyl's formula even though they tend to have complicated composition series in characteristic $p$).

5) Independently, Jantzen was making rapid progress from a different angle on the same problems; he quickly adopted the label "Weyl module" for arbitrary semisimple groups, using as I did the module obtained from a minimal admissible lattice. For the special linear case, he was also able to show by *ad hoc* methods that these Weyl modules have the natural universal property among finite dimensional highest weight modules. Taking advantage of Kempf's 1976 vanishing theorem for dominant line bundles in characteristic $p$, I observed that this would easily prove the universal property of Weyl modules in general (written down by Jantzen in Satz 1 of his 1980 Crelle paper). In effect Weyl modules are dual to global section modules of line bundles (with an obvious dualization of the highest weight). This became in fact the preferred definition of "Weyl module" in Jantzen's book *Representations of Algebraic Groups*.

6) The 1979 *Invent. Math.* paper by Kazhdan and Lusztig led not only to their conjecture on composition factor multiplicities for Verma modules in characteristic 0 but also to Lusztig's analogous conjecture for Weyl modules. This is still not quite proved in the correct generality (and fails to cover primes smaller than the Coxeter number). The story is not complete, but the literature by now is extensive.