Tek 4051 firmware listing

[arcarlini at iee.org]

Eric Smith [eric at brouhaha.com] wrote:
> 
> I would be absolutely delighted if someone could prove me wrong.

Don't the various "open" proofing projects work by farmning out any
given piece
of work N times and finding the "correct" work by comparing
(electronically,
I presume)?

This obviously costs N times the original price.

In this particular case there's a further check in that you can attempt
to convert the final listing to a compilable form and see whether it
can actually compile.

Antonio