1720 shaares
871 private links
871 private links
2 results
tagged
proof-assistant
This article explained some internals of the logic system in coq. It answered questions like why is Type : Type consistent.
<blockquote>Command line tools on the web. Try our research tools directly in your browser.</blockquote>