qdt-thesis

Public

• NotificationsYou must be signed in to change notification settings
• Fork0 (0)
• Star10 (10)You must be signed in to star a repository

About

intgrah.github.io/qdt-thesis/

Activity

Stars

10 stars

Watchers

1 watching

Forks

0 forks

Report repository

master

BranchesTags

Go to file

Code

Open more actions menu

Latest commit

 

History

22 Commits

22 Commits

Folders and files

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
chapters		chapters
images		images
.gitignore		.gitignore
.spell.dict		.spell.dict
citation-style.csl		citation-style.csl
count.typ		count.typ
justfile		justfile
lean4.sublime-syntax		lean4.sublime-syntax
main.pdf		main.pdf
main.typ		main.typ
metrics.fish		metrics.fish
metrics.json		metrics.json
refs.bib		refs.bib
template.typ		template.typ
theme.tmTheme		theme.tmTheme
View all files

About

intgrah.github.io/qdt-thesis/

Activity

Stars

10 stars

Watchers

1 watching

Forks

0 forks

Report repository

Releases

Contributors

Languages