Content
@
0 reply
0 recast
0 reaction
avi
@avichalp
taxonomy of proving systems
2 replies
1 recast
12 reactions
avi
@avichalp
https://www.youtube.com/watch?v=KSGE6n66W1M
0 reply
1 recast
1 reaction
Matt
@mane
oo this is nice
0 reply
0 recast
1 reaction
arthure
@arthure
That's a masterpiece.
0 reply
0 recast
0 reaction
