Modernize tooling, lint config, and codebase - #24

Modernize tooling, lint config, and codebase#24

satvik007 merged 1 commit into

mainHypersequent/zen:mainfrom

dev/himanshu/modernize-toolingHypersequent/zen:dev/himanshu/modernize-toolingCopy head branch name to clipboard