https://github.com/lev135/niebergall
The source code of an article about provability logic
https://github.com/lev135/niebergall
formal-theory logic math modal-logic
Last synced: 2 months ago
JSON representation
The source code of an article about provability logic
- Host: GitHub
- URL: https://github.com/lev135/niebergall
- Owner: Lev135
- Created: 2022-09-18T18:02:34.000Z (over 2 years ago)
- Default Branch: master
- Last Pushed: 2023-07-08T19:38:54.000Z (almost 2 years ago)
- Last Synced: 2023-07-09T13:37:25.128Z (almost 2 years ago)
- Topics: formal-theory, logic, math, modal-logic
- Language: TeX
- Homepage:
- Size: 8.8 MB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0