Proofs of several conjectures on linear codes from Boolean functions. - Faruk Göloglu; Dása Krasnayová (Discret. Math., 2019)