Add Tomaz as one of the developers#26

tomaz1502 wants to merge 1 commit into

cvc5:maincvc5/cvc5.github.io:mainfrom

tomaz1502:add_tomaztomaz1502/cvc5.github.io:add_tomazCopy head branch name to clipboard