verification

Math grad goals to concentrate on pc verification of mathematical proofs

December 16, 2022 Editor’s be aware: This story is a part of a collection of profiles of notable fall 2022 graduates. Sage…