-
Modular development of theories and name-space management for the Coq proof a...
Proof assistants offer a formal framework for formalizing and mechanically checking mathematical knowledge. Moreover, due to the numerous applications that follow from...
