Giters
Evgeny Ivashkevich (ivashkev)

ivashkev

Geek Repo

6

followers

0

following

4

stars

Location:Moscow

Github PK Tool:Github PK Tool

Evgeny Ivashkevich's starred repositories

platform

Multi platform setup for Coq, Coq libraries and tools

Language:ShellLicense:CC0-1.0Stargazers:186Issues:0Issues:0

coq-lecture-notes

Coq Lecture Notes (WIP)

Language:CoqStargazers:49Issues:0Issues:0

GeoCoq

A formalization of geometry in Coq based on Tarski's axiom system

Language:CoqLicense:LGPL-3.0Stargazers:179Issues:0Issues:0

constructive-geometry

Elements of Constructive Geometry

Language:CoqStargazers:1Issues:0Issues:0