Content
@
0 reply
0 recast
0 reaction
Paul Len
@paull
Anyone here interested in formal methods? Kontrol plugs into your foundry tests to enable some really powerful stuff: https://runtimeverification.com/blog/kontrol-101
0 reply
0 recast
0 reaction
