Comment by true_religion

4 hours ago

The onus is on formal verification when it comes to computer generated results. So far only 22% of the papers have it.

0 comments