Steffan Sølvsten

icon indicating a website link https://ssoelvsten.github.io icon indicating an email [email protected]

icon company Aarhus University icon location Aarhus, Denmark icon location PhD student in the Logic and Semantics group at Aarhus University.

Results 2 repositories owned by Steffan Sølvsten

latex-preamble-and-examples

22
Stars
7
Forks
Watchers

A LaTeX preample for Computer Science handins and presentations (Danish and English) with reverse-engineerable examples

verified publisher icon SSoelvsten

adiar

20
Stars
13
Forks
Watchers

An I/O-efficient implementation of (Binary) Decision Diagrams

verified publisher icon SSoelvsten