Questions tagged [sigma-type]
Use this tag for questions about using the dependent sum type (Sigma type) in proof assistants.
0
questions with bounties
No questions found. Perhaps you'd like to select a different tab?