在LEAN4中嵌入和形式化GAP（组、算法、编程），An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4, (2022-05-18, GAP, 0KB, 下载0次)