leastfixedpoint

Archived tweet #9283 from the @leastfixedpoint Twitter Archive
Wanted: a better approach to dealing with sets-of-things than Coq.Lists.ListSet