This repository contains the sources of our papers.
The "master" branch contains only accepted papers, while the develop branch contains all papers, including drafts and not yet accepted papers.
forked from Paradoxika/Papers
-
Notifications
You must be signed in to change notification settings - Fork 0
gshanr/Papers
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Research papers on logic
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- TeX 48.3%
- Mathematica 45.4%
- R 3.9%
- Makefile 2.2%
- Other 0.2%