1720 shaares
871 private links
871 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.
