Telecharger Cours

Wilking.pdf - Refubium - Freie Universität Berlin

Abstract: This document is a follow-up to two research reports explaining the implementation in the Coq proof assistant of the Theory of ...



Download