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 1 repositories owned by Niki Vazou

theorem-proving-template

32
Stars
1
Forks
Watchers

Template repo for theorem proving in Liquid Haskell

verified publisher icon nikivazou