/dev/null
Sign in

Commit

6799507

Krzysztof Cieślak@Krzysztof-Cieslak
It’s kinda interesting how formal verification seems to be new hot thing right now. I guess pain of reviewing order of magnitude more code starts to be visible to everyone

commit 6799507