I am a passionate learner and love new challenges. My favorite types of work include system design, software development, and software testing. I am also very comfortable working with cloud infrastructure such as Azure and AWS. Please reach out if you have a shared interest in technology or any exciting opportunities!
njmaeff / vscoq Goto Github PK
View Code? Open in Web Editor NEWThis project forked from coq-community/vscoq
A Visual Studio Code extension for Coq [maintainer=@maximedenes]
License: MIT License