A repo to keep papers in topology, modal logic, and distributed systems. Here I will store papers for summer interns to get at and read. Subdirectories will be created in distributed systems, general modal logic, topology and modal logic, and maybe coalgebras. Sepeate directories will be used for organizing each topic
-
Notifications
You must be signed in to change notification settings - Fork 0
agoodloe/DistributedSystemsModalLogic
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A repo to keep papers in topology, modal logic, and distributed systems.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published