dissertation icon indicating copy to clipboard operation
dissertation copied to clipboard

verified publisher icon wilbowma
→

Metadata

The source for "Compiling with Dependent Types" (my dissertation)

Results 1 dissertation issues
Sort by recently updated
recently updated
newest added

Typos

- a lot of your theorems and lemmas have periods in some places and none in others. don't worry about it - 3.5 has a typo in the figures for...

wilbowma avatar wilbowma

← Metadata

30
Stars
1
Forks
Watchers

Owner

verified publisher icon wilbowma

Metadata

The source for "Compiling with Dependent Types" (my dissertation)

Back