@Unpublished{     indepCoq,
  Author        = "Dang, Hai",
  date-added    = "2020-03-15 08:30:35 +0100",
  date-modified = "2020-03-15 08:30:35 +0100",
  Title         = "Independence of Intuitionistic Propositional Connectives in Coq",
  Year          = "2015",
  File          = "Independence of Intuitionistic Propositional Connectives in Coq - independence - a - a - a - a - o.pdf"
}

@Unpublished{ indepCoq, Author = "Dang, Hai", date-added = "2020-03-15 08:30:35 +0100", date-modified = "2020-03-15 08:30:35 +0100", Title = "Independence of Intuitionistic Propositional Connectives in Coq", Year = "2015", File = "Independence of Intuitionistic Propositional Connectives in Coq - independence - a - a - a - a - o.pdf" }