TY  - BOOK
AU  - Vishwakarma, Rahul 
AU  - Dalai, Deepak Kumar [Guide]
AU  - Mishra, Subhankar [Guide]
TI  - Neural theorem proving in lean
U1  - 519.6 
PY  - 2024///
CY  - Bhubaneswar : 
PB  - NISER, 
KW  - COMPUTATIONAL MATHEMATICS
KW  - NUMERICAL ANALYSIS
ER  -