Η κοινότητα Halmos
Αποδείξεις που μπορείτε να χτίσετε.
Εξερευνήστε τις δημοσιεύσεις με αποδείξεις αποδεκτές από τον πυρήνα Lean.
Επαληθευμένες αποδείξεις
0 θέσεις-
Δεν υπάρχουν δημοσιεύσεις σε αυτό το χρονικό εύρος ακόμα.
Ίσως υπάρχουν κι άλλα να ανακαλύψεις στο αρχείο.
Εξερευνήστε όλη την ώρα