#formalize — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #formalize, aggregated by home.social.
-
Why formalize mathematics – more than catching errors
https://rkirov.github.io/posts/why_lean/
#HackerNews #formalize #mathematics #catching #errors #Lean #programming #mathematics #education
-
#RochesterPublicSchools move to #formalize #procedures for #helping #transgender #kids
The #Schoolboard is drafting #districtwide #policies, #codifying #guidance for #school #administrators on everything from respecting #students' #preferredpronouns to ensuring #comfortable #changingrooms and #bathrooms for #kids.
#Women #Transgender #LGBTQ #LGBTQIA #NewYork #Rochester #TransKids #Education #Allies #Inclusion #Representation #Culture