This repository contain a collection of interesting tricks and facts about Coq that were useful during the development of Iris.
This repository contain a collection of interesting tricks and facts about Coq that were useful during the development of Iris and related tools. See also the great collection of tricks at https://github.com/tchajed/coq-tricks .
-[slow_qed.v](theories/slow_qed.v): Causes for slow Qed times
-[custom_typeclass_db.v](theories/custom_typeclass_db.v): How to use custom typeclass databases
