Niki Vazou

icon indicating a website link nikivazou.github.io icon indicating an email [email protected]

icon company IMDEA icon location Madrid icon location Research Assistant Professor and Haskeller

Results 2 repositories owned by Niki Vazou

presentations

43
Stars
1
Forks
Watchers

Presentations on Liquid Haskell, type theory, and more

verified publisher icon nikivazou

theorem-proving-template

32
Stars
1
Forks
Watchers

Template repo for theorem proving in Liquid Haskell

verified publisher icon nikivazou