Skip to content

Latest commit

 

History

History
44 lines (28 loc) · 1.57 KB

index.md

File metadata and controls

44 lines (28 loc) · 1.57 KB
title lang header-includes
Zorn's Lemma
en
<style type="text/css"> body {font-family: Arial, Helvetica; margin-left: 5em; font-size: large;} </style> <style type="text/css"> h1 {margin-left: 0em; padding: 0px; text-align: center} </style> <style type="text/css"> h2 {margin-left: 0em; padding: 0px; color: #580909} </style> <style type="text/css"> h3 {margin-left: 1em; padding: 0px; color: #C05001;} </style> <style type="text/css"> body { width: 1100px; margin-left: 30px; }</style>
[View the project on GitHub](https://github.com/coq-community/zorns-lemma)

About

Welcome to the Zorn's Lemma project website!

This library develops some basic set theory. The main purpose the author had in writing it was as support for the Topology library.

This is an open source project, licensed under the GNU Lesser General Public License v2.1 or later.

Get the code

The current stable release of Zorn's Lemma can be downloaded from GitHub.

Documentation

The coqdoc presentations of the source files from releases can be browsed online.

Other related publications, if any, are listed below.

Help and contact

Authors and contributors

  • Daniel Schepler