Ang Halmos komunidad
Proofs maaari mong bumuo sa.
Galugarin ang mga post na may mga patunay tinanggap ng Lean kernel.
Verified proofs
0 Mga post-
Walang mga post sa panahong ito sa hanay pa.
May maaaring maging higit pa upang matuklasan sa archive.
Galugarin ang lahat ng oras