HomerW / hartshorne-isabelle Public

forked from spike7638/hartshorne-isabelle

Isabelle version of everything in Hartshorne's Foundations of Projective Geometry book.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 85 Commits
document		document
.gitignore		.gitignore
Chapter1.thy		Chapter1.thy
Chapter2.thy		Chapter2.thy
Chapter3.thy		Chapter3.thy
Chapter4.thy		Chapter4.thy
README.md		README.md
ROOT		ROOT
build		build

Repository files navigation

geometry

Isabelle work on geometry course

Isabelle version of everything in Hartshorne's Foundations of Projective Geometry book.

No releases published

No packages published