@TaliaRinger@mathstodon.xyz avatar

TaliaRinger

@TaliaRinger@mathstodon.xyz

Professor, PL/FM/SE at UIUC. Proof automation. SIGPLAN-M Founder, CCF President. They/them, ND, bi.

This profile is from a federated server and may be incomplete. For a complete list of posts, browse on the original instance.

TaliaRinger , to random
@TaliaRinger@mathstodon.xyz avatar

Another example of how useful proof assistants can be for collaboration! Check this out:

https://www.quantamagazine.org/amateur-mathematicians-find-fifth-busy-beaver-turing-machine-20240702

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • random
  • test
  • worldmews
  • mews
  • All magazines
    •