OAI/Analysis/FourierLLogL/
2399 declarations, 0 contain sorry, 0 declared as axioms; 155 files
Folders
- Assembly/ 14 files, 146 declarations
- Capture/ 8 files, 99 declarations
- Compress/ 20 files, 267 declarations
- Dyadic/ 7 files, 231 declarations
- Edges/ 7 files, 90 declarations
- Finite/ 10 files, 213 declarations
- Fourier/ 11 files, 187 declarations
- Paths/ 20 files, 362 declarations
- Plateau/ 4 files, 66 declarations
- Procedure/ 15 files, 208 declarations
- Snapshot/ 7 files, 93 declarations
- Thermal/ 24 files, 366 declarations
- Weak/ 6 files, 66 declarations
Files
- Main.lean 4 declarations
- PaperMain.lean 1 declarations