https://publish.obsidian.md/pkc/Hub/Welcome+to+pkc
When I asked Gemini “what is calculus of construction?”, its answer refers to this source: https://publish.obsidian.md/pkc/Hub/Theory/Category+Theory/Logic/Calculus+of+Constructions
- mentioned: Calculus of Construction