aspiwack/finset
A Coq library for extensional finite sets and comprehension
Developer Profile
aspiwack
Discovered public repositories for aspiwack in the GitHub catalog.
aspiwack/minipi
Experiment on depent type-checking.
aspiwack/treemachine
Public repository.
aspiwack/fulltrees
Balancing lists: a proof pearl
aspiwack/cosa
A thing about Coq-verified Shape Analysis
aspiwack/coq
When I have branches to Coq they appear here. But most of the time, this repository is out of sync.