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