GitHub - usr345/tarski_geo: Геометрия Тарского в coq · GitHub

Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
Axioms.thy		Axioms.thy
Bet.thy		Bet.thy
BetCongr.thy		BetCongr.thy
Bet_le.thy		Bet_le.thy
Col.thy		Col.thy
Congr.thy		Congr.thy
Euclid.thy		Euclid.thy
Out.thy		Out.thy
_CoqProject		_CoqProject
axioms.html		axioms.html
axioms.v		axioms.v
between.v		between.v
congr.v		congr.v
geometry.v		geometry.v
graph.gv		graph.gv
index.en.html		index.en.html
index.html		index.html
makefile		makefile
parse_geo.pl		parse_geo.pl
pasch.tex		pasch.tex
prolog.pro		prolog.pro
style.css		style.css

About

Геометрия Тарского в coq

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages