meduzik/software-foundations-ru

Russian Translation for Software Foundations book.

语言：HTML · GitHub 星标：9 · Fork：1

话题：coq · software-foundations · translation

在 GitHub 上查看原仓库