Adding zeimer.github.io Coq tutorial (Polish) (#2282)
* Update free-programming-books-pl.md * Adding required blank line * Removed trailing slash * Fixing blank line again
Showing
想要评论请 注册 或 登录
从无法访问的项目Fork
* Update free-programming-books-pl.md * Adding required blank line * Removed trailing slash * Fixing blank line again