typing-with-leftovers icon indicating copy to clipboard operation
typing-with-leftovers copied to clipboard

Published 20 hours ago • verified publisher icon gallais
→

Metadata

Self-contained repository for the eponymous paper

Typing with Leftovers - A Mechanization of Intuitionistic Linear Logic

build status

Compilation

The development has been typechecked with:

← Metadata

28
Stars
3
Forks
Watchers

Owner

verified publisher icon gallais

Metadata

Self-contained repository for the eponymous paper

Back