Boyarsky (1980) gave another proof of the Gross–Koblitz formula using Dwork's work, and Robert (2001) gave an elementary proof.
Boyarsky (1980) は、Dwork の結果を用いてグロス＝コブリッツの公式に対する別証明を与え、Robert (2001) は初等的な証明を与えた。