issues
search
uds-psl
/
smpl
A Coq plugin providing an extensible tactic similar to first.
MIT License
5
stars
1
forks
source link
Added ci and opam file
#3
Closed
fakusb
closed
3 years ago