Parivash Feyzishendi

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Automated Deduction

Higher Order Logic

Top Venues

Publications

Maxwell P. Bobbin, Samiha Sharlin, Parivash Feyzishendi, An Hong Dang, Catherine M. Wraback, Tyler R. Josephson
Formalizing Chemical Theory using the Lean Theorem Prover. CoRR (2022)