1. Institutional Digital Repository @ NISER Bhubaneswar
  2. MSc Dissertations
  3. School of Mathematical Sciences
Please use this identifier to cite or link to this item: http://idr.niser.ac.in:8080/jspui/handle/123456789/810
Full metadata record
DC FieldValueLanguage
dc.contributor.authorVishwakarma, Rahul-
dc.contributor.authorDalai, Deepak Kumar-
dc.contributor.authorMishra, Subhankar-
dc.date.accessioned2024-10-09T04:16:00Z-
dc.date.available2024-10-09T04:16:00Z-
dc.date.issued2024-05-
dc.identifier.urihttp://idr.niser.ac.in:8080/jspui/handle/123456789/810-
dc.language.isoenen_US
dc.publisherNISER Bhubaneswaren_US
dc.relation.ispartofseriesDissertations;T725-
dc.titleNeural theorem proving in leanen_US
dc.typeThesisen_US
Appears in Collections:School of Mathematical Sciences

Files in This Item:
File Description SizeFormat 
T725_Rahul Vishwakarma_1911122.pdf
  Restricted Access		1.36 MBAdobe PDFView/Open Request a copy
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.