https://github.com/paraseba/conceptual-mathematics-in-lean

Conceptual Mathematics exercises using Lean theorem prover
https://github.com/paraseba/conceptual-mathematics-in-lean

category-theory lean math

Last synced: 11 months ago
JSON representation

Conceptual Mathematics exercises using Lean theorem prover

• Host: GitHub
• URL: https://github.com/paraseba/conceptual-mathematics-in-lean
• Owner: paraseba
• Created: 2020-08-06T22:32:03.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2020-10-02T18:27:15.000Z (over 5 years ago)
• Last Synced: 2025-06-18T17:05:34.367Z (about 1 year ago)
• Topics: category-theory, lean, math
• Language: Lean
• Homepage:
• Size: 56.6 KB
• Stars: 3
• Watchers: 2
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: readme.md

Awesome Lists containing this project

README

          
# Conceptual Mathematics, by Lawvere & Schanuel

![Build](https://github.com/paraseba/conceptual-mathematics-in-lean/workflows/CI/badge.svg)

Trying to complete the exercises on 2nd edition, using the Lean theorem prover.

## Usage

```sh

nix-shell --command code

```

```sh

nix-shell --run 'leanproject build'

```