glguy/bitvector
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
Some proofs and reorganization of Eric Mertens' modularfin module for Agda.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Some proofs and reorganization of Eric Mertens' modularfin module for Agda.