issues
search
uds-psl
/
smpl
A Coq plugin providing an extensible tactic similar to first.
MIT License
5
stars
1
forks
source link
Fix compilation of smpl for coq 8.18
#7
Closed
kyoDralliam
closed
8 months ago