sflib

Useful Coq tactics. Compatible with Coq >= 8.13.

Installation via opam

opam remote add coq-sflib -k git https://github.com/snu-sf/sf-opam-coq-archive
opam install coq-sflib