https://github.com/kammitama5/lambdaconf17-notes
repo for all notes, programmes etc I made for LambdaConf17
https://github.com/kammitama5/lambdaconf17-notes
category-theory coq grothendieck isomorphic lambda lambda-calculus latex
Last synced: 21 days ago
JSON representation
repo for all notes, programmes etc I made for LambdaConf17
- Host: GitHub
- URL: https://github.com/kammitama5/lambdaconf17-notes
- Owner: kammitama5
- Created: 2017-05-26T10:12:28.000Z (about 9 years ago)
- Default Branch: master
- Last Pushed: 2017-05-30T19:44:49.000Z (about 9 years ago)
- Last Synced: 2025-08-17T08:21:51.230Z (10 months ago)
- Topics: category-theory, coq, grothendieck, isomorphic, lambda, lambda-calculus, latex
- Language: TeX
- Size: 411 KB
- Stars: 2
- Watchers: 2
- Forks: 0
- Open Issues: 0