Questions tagged [finite]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
10
votes
2answers
719 views

Formalizing the theory of finite sets in type theory

Most proof assistants have a formalization of the concept of "finite set". These formalizations, however, differ wildly (although one hopes that they are all essentially equivalent!). What I don't ...