>>105566865
>>105566890
what do you expect? It's an extremely niche topic
99% of programmers have never heard about formal verification
Another cool rabbit hole to go into is correct by construction program synthesis