Comment by true_religion

3 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