Natural Language Specifications in Proof Assistants

Gordon, Colin S., Matskevich, Sergey

number arXiv cs.PL 2205.07811, May 2022, doi: 10.48550/arXiv.2205.07811

arXiv

Bibtex

@techreport{nlspectr,
  author = {Gordon, Colin S. and Matskevich, Sergey},
  title = {Natural Language Specifications in Proof Assistants},
  bibtex_show = {true},
  abbr = {arXiv},
  institution = {{Computing Research Repository (CoRR)}},
  number = {arXiv cs.PL 2205.07811},
  eprint = {2205.07811},
  arxiv = {2205.07811},
  doi = {10.48550/arXiv.2205.07811},
  month = {May},
  year = 2022
}