Add AlexeyMilovanov/kolmogorov-complexity-lean to bibliography

[Copilot]

Adds the AlexeyMilovanov/kolmogorov-complexity-lean Lean 4 formalization of Algorithmic Information Theory to the bibliography, covering Kolmogorov Complexity, the Uncomputability Theorem, and Chaitin's Incompleteness Theorem.

Changes

• ALF/Authors.lean: New AlexeyMilovanov author entry with GitHub handle
• ALF/Bibliography.lean: New information_theory tag added (slug "information-theory", name "Information Theory"); new Repository definition tagged information_theory and incompleteness_theorem, added to the bibliography list

def «AlexeyMilovanov/kolmogorov-complexity-lean» : Repository where
  url := .mk "AlexeyMilovanov" "kolmogorov-complexity-lean"
  tp := [.Lean4]
  authors := [«AlexeyMilovanov»]
  tags := [.information_theory, .incompleteness_theorem]
  description := "Formalization of the foundations of Algorithmic Information Theory (AIT), centered around Kolmogorov Complexity. Including Uncomputability Theorem and Chaitin's Incompleteness Theorem"

[SnO2WMaN]

@copilot Tag: information_theory, incompleteness_theorem

[Copilot]

@copilot Tag: information_theory, incompleteness_theorem

Done in 3e5f6d3. Added the new information_theory tag (with slug "information-theory" and name "Information Theory") and applied both information_theory and incompleteness_theorem to the entry.