Coq有一套出色的指南，称为“软件基础”，其索引可以找到：https://softwarefoundations.cis.upenn.edu/lf-current/coqindex.html
我正在尝试解密Coq代码：
Parameter A: Type.
Variable T: Type.
我想从Software Foundations获得文档或示例，其中定义，解释了这些关键字并提供了示例。如何查找相关的软件基础章节？有关键字索引吗？我知道Gallina语言规范，但它是语法规范，而不是关键字的含义。
我真的想知道Coq中的Parameter和Variable意味着什么？