|
beamer
|
improve directory structure
|
2024-09-29 22:52:59 +02:00 |
|
coq
|
coq: add preliminary preservation proof
|
2024-09-24 12:08:16 +02:00 |
|
paper
|
work on abstract & intro
|
2024-09-17 18:36:38 +02:00 |
|
share
|
improve directory structure
|
2024-09-29 22:52:59 +02:00 |
|
TypeSystems.bib
|
add bib file
|
2024-09-24 11:57:34 +02:00 |
