M
athias
S
chack
R
abing
E-Mails 📧
moc
.
kooltuo
@
gnibarsaihtam
Entries
2026
Formalization of Weighted Sets
by
Mathias Schack Rabing
and
Dmitriy Traytel
Jun 13
Formalization of Countable Multisets
by
Mathias Schack Rabing
and
Dmitriy Traytel
Jun 13
2023
Ceva's Theorem
by
Mathias Schack Rabing
Aug 16