How can automated reasoning about maps in Coq be made fast?
Primary LanguageCoq
This repository is not active