issues
search
wilbowma
/
cur
A less devious proof assistant
BSD 2-Clause "Simplified" License
222
stars
18
forks
source link
Add racket 6.11 and 6.12 to travis test script
#76
Closed
wilbowma
closed
6 years ago