https://github.com/lean-ja/bct

WIP: work in progress
https://github.com/lean-ja/bct

Last synced: 4 days ago
JSON representation

WIP: work in progress

• Host: GitHub
• URL: https://github.com/lean-ja/bct
• Owner: lean-ja
• Created: 2024-03-03T14:34:36.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2024-04-19T13:51:34.000Z (about 2 years ago)
• Last Synced: 2026-05-23T00:59:28.824Z (about 1 month ago)
• Language: Lean
• Size: 13.7 KB
• Stars: 4
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Basic Category Theory in Lean

This repository aims to reconstruct the contents of [Tom Leinster's "Basic Category Theory"](https://arxiv.org/pdf/1612.09375.pdf) in Lean.