codewars/coq

Container image for Coq

Language: Dockerfile - Size: 5.86 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0