https://doi.org/10.5281/zenodo.17611734
| File | Mode | Size |
|---|---|---|
| ModalDistribution | ||
| docbuild | ||
| scripts | ||
| .gitignore | -rw-r--r-- | 252 bytes |
| LICENSE | -rw-r--r-- | 18.2 KB |
| ModalDistribution.lean | -rw-r--r-- | 488 bytes |
| PAPER_MAPPING.md | -rw-r--r-- | 22.6 KB |
| README.md | -rw-r--r-- | 6.1 KB |
| build_with_announcements.sh | -rw-r--r-- | 3.5 KB |
| lake-manifest.json | -rw-r--r-- | 3.1 KB |
| lakefile.lean | -rw-r--r-- | 848 bytes |
| lean-toolchain | -rw-r--r-- | 29 bytes |
README.md
Loading README.md ...
