# COMPUTER VERIFIED MATHEMATICS | VOEVODSKY

| | homeVoevodsky has been advocating the virtues of computer proof assistants and developing univalent foundations in order to bring the languages of Mathematics and Computer Programming together .

**Read More ➤➤**