Comment by tkz1312

1 day ago

I'm pretty convinced most serious software will have some kind of proof system inside within the next few years.

0 comments