GitHub repository: FeelUsM/BourbakiProving
Primary language: HTML
Created: 2016-05-19T12:04:04Z
Description: система автоматической проверки доказательств