├── LICENSE ├── README.md ├── modal.lean ├── paper ├── lstlean.tex └── paper.tex └── research_proposal ├── AlexanderPatel_PlenitudinousPlatonism.pdf └── AlexanderPatel_PlenitudinousPlatonism.tex /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexpatel/lean-modal/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexpatel/lean-modal/HEAD/README.md -------------------------------------------------------------------------------- /modal.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexpatel/lean-modal/HEAD/modal.lean -------------------------------------------------------------------------------- /paper/lstlean.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexpatel/lean-modal/HEAD/paper/lstlean.tex -------------------------------------------------------------------------------- /paper/paper.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexpatel/lean-modal/HEAD/paper/paper.tex -------------------------------------------------------------------------------- /research_proposal/AlexanderPatel_PlenitudinousPlatonism.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexpatel/lean-modal/HEAD/research_proposal/AlexanderPatel_PlenitudinousPlatonism.pdf -------------------------------------------------------------------------------- /research_proposal/AlexanderPatel_PlenitudinousPlatonism.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexpatel/lean-modal/HEAD/research_proposal/AlexanderPatel_PlenitudinousPlatonism.tex --------------------------------------------------------------------------------