search

exercism / coq

Exercism exercises in Coq.
https://exercism.org/tracks/coq
MIT License
18 stars 11 forks source link

Added basic Learning section #26

Closed mtrsk closed 6 years ago

mtrsk commented 6 years ago

Added a very basic Learning section.