Pedro Abreu

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

icon company Type Theory Forall icon location Brasília, Brasil icon location Type Theory Forall Host

Results 1 repositories owned by Pedro Abreu

coquedille

33
Stars
2
Forks
Watchers

A Coq to Cedille compiler written in Coq

verified publisher icon pedrotst