Arthur Azevedo de Amorim

icon indicating a website link http://arthuraa.net

icon company Rochester Institute of Technology icon location Rochester, NY, USA icon location Assistant professor at Rochester Institute of Technology.

Results 5 repositories owned by Arthur Azevedo de Amorim

agda-hoas-demo

19
Stars
0
Forks
Watchers

Experiments with higher-order abstract syntax in Agda

verified publisher icon arthuraa

deriving

22
Stars
8
Forks
Watchers

Class instances for Coq inductive types with little boilerplate

verified publisher icon arthuraa

extructures

30
Stars
6
Forks
Watchers

Finite sets and maps for Coq with extensional equality

verified publisher icon arthuraa

memory-safe-language

17
Stars
1
Forks
Watchers

A formalization of properties of a simple imperative, memory-safe language.

verified publisher icon arthuraa

poleiro

46
Stars
5
Forks
Watchers

A blog about Coq

verified publisher icon arthuraa