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