issues
search
uds-psl
/
smpl
A Coq plugin providing an extensible tactic similar to first.
MIT License
5
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix compilation of smpl for coq 8.18
#7
kyoDralliam
closed
8 months ago
0
Add a branch for coq 8.17
#6
kyoDralliam
opened
1 year ago
0
`Unbound module Mltop` when building from source
#5
haansn08
opened
2 years ago
1
Main branch
#4
mrhaandi
opened
2 years ago
0
Added ci and opam file
#3
fakusb
closed
3 years ago
0
Fixed #1
#2
fakusb
closed
3 years ago
1
SMPL and asynchronous evaluation
#1
fakusb
closed
3 years ago
1