Follow

Well I tasked myself with 6 days to implement this for a C program verifier.

arxiv.org/abs/1910.09521

Probably only going to manage one teeny component. But monadic second order logic, man. :ablobaww:

Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.