Explore >> Select a destination
|
You are here 
|
grossack.site | ||
| | | | |
leanprover-community.github.io
|
|
| | | | | A few weeks ago, we announced the completion of the liquid tensor experiment (LTE for short). What this means is that we stated and (completely) proved the following result in Lean: variables (p' p : | |
| | | | |
ncatlab.org
|
|
| | | | | ||
| | | | |
bmbumpus.com
|
|
| | | | | Sheaves came up in my last post, so , since I'm quite new to sheaves, I figured it would be a good idea to learn some more about them. Naturally, I decided to share my notes with you. The books I'm using to learn about sheaves are: (1) Sheaf Theory though Examples [Rosiak] and (2) | |
| | | | |
www.encyclopediaofmath.org
|
|
| | | |||
