Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Automated Checking of Proof Transformations

Vivek Nigam, Giselle Reis, and Leonardo Lima. Automated Checking of Proof Transformations. Unpublished Draft.






 author = {Vivek Nigam and Giselle Reis and Leonardo Lima},
  title     = {Automated Checking of Proof Transformations},
   year =         "Draft",
 bib2html_pubtype = {Submitted},
bib2html_rescat = {Logical Frameworks},
bib2html_dl_pdf = "/docs/permutations_jar.pdf"

Generated by (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57