logical foundations of mathematical proof assistants ( ).
It will be located at the IRIF lab in Paris. Travel expenses... assistants relying on
it, such as Agda, Lean, Rocq, and, to some extent, Isabelle. Originally confined to intuitionistic logic... -
Voir cette offre d'emploi