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