Skip to main content

Questions tagged [finite]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
11 votes
2 answers

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 ...
Jacques Carette's user avatar