https://github.com/milomg/lean-graph

Attempt at graph theory with lean
https://github.com/milomg/lean-graph

Last synced: 2 days ago
JSON representation

Attempt at graph theory with lean

• Host: GitHub
• URL: https://github.com/milomg/lean-graph
• Owner: milomg
• Created: 2020-09-11T20:40:41.000Z (about 4 years ago)
• Default Branch: master
• Last Pushed: 2021-05-22T04:50:19.000Z (over 3 years ago)
• Last Synced: 2024-06-05T06:36:45.969Z (5 months ago)
• Language: Lean
• Size: 3.91 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# I'm learning lean

Probably check this out using the [lean web editor](https://leanprover-community.github.io/lean-web-editor/#url=https%3A%2F%2Fraw.githubusercontent.com%2Fmodderme123%2Flean-graph%2Fmaster%2Fsrc%2Fbasic.lean)

Or install lean with `brew install lean coreutils` and then run `leanpkg build` in this directory. 

I'm currently stuck at showing anything about different functions being equal.