文件名称：leanproved:使用精益证明者证明定理
文件大小：53KB
文件格式：ZIP
更新时间：2024-06-09 03:51:12
Lean
精益求精 使用证明了定理。 证明了有限群论。 机器校对证明遵循概述的散文风格证明。 群体理论现在可以作为。
【文件预览】：
leanproved-master
----migrated()
--------extra.lean(23KB)
--------finfun.lean(18KB)
--------fin.lean(9KB)
--------list.lean(5KB)
--------nat.lean(685B)
--------finset.lean(3KB)
--------algebra.lean(2KB)
--------bigops.lean(1KB)
----README.md(543B)
----.gitignore(282B)
----group_theory()
--------.project(182B)
--------cyclic.lean(16KB)
--------pgroup.lean(15KB)
--------action.lean(22KB)
--------finsubg.lean(20KB)
--------group_theory.md(894B)
--------LICENSE(9KB)
--------subgroup.lean(17KB)
--------hom.lean(7KB)
--------perm.lean(4KB)