1688 shaares
869 private links
869 private links
3 results
tagged
coq
This article explained some internals of the logic system in coq. It answered questions like why is Type : Type consistent.
