vladimirias/lBsystems

Voevodsky's work on B-systems, transferred from his github account

Coq