https://intlibrary.ir/download/towards-mechanized-mathematical-assistants:-14th-s-84546/