Mathematical Formalization Specialist - Remote (Rincón de los Sauces)
verification , proof assistants , and the future of mechanized mathematics. - Ability to translate informal arguments into clean...
verification , proof assistants , and the future of mechanized mathematics. - Ability to translate informal arguments into clean...