@Article{         PMCID:PMC7324019,
  Author        = "Czajka, {\L}ukasz",
  date-added    = "2020-09-09 12:09:36 +0200",
  date-modified = "2020-09-09 12:09:36 +0200",
  Journal       = "Automated Reasoning",
  Pages         = "28---57",
  Title         = "Practical Proof Search for Coq by Type Inhabitation",
  URL           = "https://europepmc.org/articles/PMC7324019",
  Volume        = "12167",
  Year          = "0",
  bdsk-url-1    = "https://europepmc.org/articles/PMC7324019",
  File          = "Practical Proof Search for Coq by Type Inhabitation - 978-3-030-51054-1\_Chapter\_3 - a - l.pdf"
}

@Article{ PMCID:PMC7324019, Author = "Czajka, {\L}ukasz", date-added = "2020-09-09 12:09:36 +0200", date-modified = "2020-09-09 12:09:36 +0200", Journal = "Automated Reasoning", Pages = "28---57", Title = "Practical Proof Search for Coq by Type Inhabitation", URL = "https://europepmc.org/articles/PMC7324019", Volume = "12167", Year = "0", bdsk-url-1 = "https://europepmc.org/articles/PMC7324019", File = "Practical Proof Search for Coq by Type Inhabitation - 978-3-030-51054-1_Chapter_3 - a - l.pdf" }