@article{article455,
  title = {Introduction to HOL4 Theorem Prover},
  author = {AKSOY, K. and TAHAR, S. and ZEREN, Y.},
  journal = {Sigma Journal of Engineering and Natural Sciences},
  year = {2019},
  volume = {10},
  pages = {237-243},
  doi = {}
}