Vitor Greati

icon indicating a website link vitorgreati.me

icon company University of Groningen icon location Groningen, The Netherlands icon location Master in Systems and Computing (UFRN). PhD student at the University of Groningen, working on computational properties of nonclassical logics via proof theory.

Results 1 comments of Vitor Greati

Can't build with stack due to missing config.h file

I'm having the same problem, any ideas about that?