Home
About Coq
Get Coq
Documentation
Community
The Coq Proof Assistant
Library ProjectiveGeometry.Space.desargues2Dlemmas2
Library ProjectiveGeometry.Space.projective_space_axioms
Library ProjectiveGeometry.Space.desargues3D
Library ProjectiveGeometry.Space.desargues2D
Library ProjectiveGeometry.Space.matroids_properties
Library ProjectiveGeometry.Space.basic_facts
Library ProjectiveGeometry.Space.desarguesxD
Library ProjectiveGeometry.Space.desargues2Dmore
Library ProjectiveGeometry.Space.projective_space_rank_to_projective_space
Library ProjectiveGeometry.Space.desargues3Dspecial
Library ProjectiveGeometry.Space.desargues2Dlemmas3
Library ProjectiveGeometry.Space.rank_properties
Library ProjectiveGeometry.Space.sets_of_points
Library ProjectiveGeometry.Space.projective_space_rank_axioms
Library ProjectiveGeometry.Space.desargues2Dlemmas
Library ProjectiveGeometry.Space.matroid_to_matroid_p
Library ProjectiveGeometry.Space.matroids_axioms
Library ProjectiveGeometry.Space.desargues3Dlemmas
Library ProjectiveGeometry.Plane.projective_plane_duality
Library ProjectiveGeometry.Plane.projective_plane_to_Heyting_projective_plane
Library ProjectiveGeometry.Plane.Heyting_projective_plane_axioms
Library ProjectiveGeometry.Plane.fano_plane_desargues
Library ProjectiveGeometry.Plane.fano_plane
Library ProjectiveGeometry.Plane.hexamys_desargues
Library ProjectiveGeometry.Plane.hexamys
Library ProjectiveGeometry.Plane.P14_pseudo_midpoint
Library ProjectiveGeometry.Plane.P12_aeolian
Library ProjectiveGeometry.Plane.P11_chasles
Library ProjectiveGeometry.Plane.P10_complete_quadrilateral_2
Library ProjectiveGeometry.Plane.P09_complete_quadrilateral
Library ProjectiveGeometry.Plane.P08_cevian_lines_2
Library ProjectiveGeometry.Plane.P07_cevian_lines
Library ProjectiveGeometry.Plane.P06_angle_line
Library ProjectiveGeometry.Plane.P05_almost_pappus
Library ProjectiveGeometry.Plane.examples
Library ProjectiveGeometry.Plane.bij
Library ProjectiveGeometry.Plane.homogeneous
Library ProjectiveGeometry.Plane.projective_plane_inst
Library ProjectiveGeometry.Plane.basic_facts_plane
Library ProjectiveGeometry.Plane.forth
Library ProjectiveGeometry.Plane.pg25
Library ProjectiveGeometry.Plane.moulton
Library ProjectiveGeometry.Plane.flat
Library ProjectiveGeometry.Plane.decidability
Library ProjectiveGeometry.Plane.projective_plane_axioms
Library ProjectiveGeometry.Plane.back
Library ProjectiveGeometry.field_variable_isolation_tactic
Library ProjectiveGeometry.general_tactics
Navigation
All contributions
Home
Categories
Keywords
ProjectiveGeometry
Description
Table of contents
Index
Links
Download