https://github.com/fractalate/study-munkres-topology

Munkres Topology in Lean
https://github.com/fractalate/study-munkres-topology

lean lean4 mathematics topology

Last synced: about 1 month ago
JSON representation

Munkres Topology in Lean

• Host: GitHub
• URL: https://github.com/fractalate/study-munkres-topology
• Owner: fractalate
• Created: 2024-07-21T13:09:11.000Z (7 months ago)
• Default Branch: main
• Last Pushed: 2024-09-03T10:37:42.000Z (5 months ago)
• Last Synced: 2024-11-07T02:24:30.191Z (3 months ago)
• Topics: lean, lean4, mathematics, topology
• Language: Lean
• Homepage:
• Size: 24.4 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Munkres Topology in Lean

Hello! Welcome to my self study resources for [Munkres Topology, 2nd Edition](https://www.pearson.com/en-us/subject-catalog/p/topology-classic-version/P200000006299) focused on proofs validated with the [Lean Programming Language and Theorem Prover](https://lean-lang.org/). This repository uses Lean 4 and aims to provide proofs of the various examples and many exercises found throughout the book.

## Index

* [Chapter 1](./Chapter01/)

  - [Exercise 1](./Chapter01/Exercise01.lean)

  - [Exercise 2](./Chapter01/Exercise02.lean) (WIP)

  - [Exercise 3](./Chapter01/Exercise03.lean)

  - [Exercise 4](./Chapter01/Exercise04.lean)

  - [Exercise 5](./Chapter01/Exercise05.lean)

  - [Exercise 6](./Chapter01/Exercise06.lean)

  - [Exercise 7](./Chapter01/Exercise07.lean)

  - [Exercise 8](./Chapter01/Exercise08.lean)

  - [Exercise 9](./Chapter01/Exercise09.lean)