Upgrade to work with coq8.5 - Githubissues

fsmith1024 / scales

Formalization in Coq of recreational puzzles involving scales.

MIT License

3 stars 0 forks source link

Upgrade to work with coq8.5 #1

Closed fsmith1024 closed 8 years ago