GitHub repository: mpetruska/blog
Primary language: Coq
Created: 2018-01-24T08:22:16Z
Description: ... about software engineering