Author:
Wang Qiming,Liu Jianghao,Guo Dakai,Yu Wensheng
Publisher
Springer Nature Singapore
Reference15 articles.
1. Wu, W.: Mathematics Mechanization. Science Press, Beijing (2003)
2. Beeson, M.: Mixing computations and proofs. J. Formalized Reasoning 9(1), 71–99 (2016)
3. Jiang, N., et al.: Overview on mechanized theorem proving. J. Softw. 31(1), 82–112 (2020)
4. Hales, T.: Formal proof. Not. Am. Math. Soc. 55(11), 378–393 (2009)
5. Wang, J., et al.: Overview of formal methods. J. Softw. 30(1), 33–61 (2019)