Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/siraben/senior-thesis
LaTeX sources for my undergraduate thesis
https://github.com/siraben/senior-thesis
coq formalization graph-theory thesis
Last synced: 5 days ago
JSON representation
LaTeX sources for my undergraduate thesis
- Host: GitHub
- URL: https://github.com/siraben/senior-thesis
- Owner: siraben
- License: mit
- Created: 2023-02-23T16:28:34.000Z (over 1 year ago)
- Default Branch: master
- Last Pushed: 2023-05-11T04:10:45.000Z (over 1 year ago)
- Last Synced: 2024-08-24T14:10:53.100Z (about 1 month ago)
- Topics: coq, formalization, graph-theory, thesis
- Language: TeX
- Homepage:
- Size: 791 KB
- Stars: 2
- Watchers: 2
- Forks: 1
- Open Issues: 0