Brendan Zabarauskas on Twitter: "@thingskatedid I definitely should not be goofing around with bleeding edge theorem provers while pondering low level attribute grammar compilers implemented in assembly, so no" / Twitter

Replying to

and

I definitely should not be goofing around with bleeding edge theorem provers while pondering low level attribute grammar compilers implemented in assembly, so no

12:14 AM · Feb 3, 2021Twitter Web App

Likes

Conversation