Using a First Order Logic to Verify That Some Set of Reals Has No Lesbegue Measure.

John R. Cowles, Ruben Gamboa

Browse the full ITP paper archive.