Gabriela Moreira

icon company @informalsystems icon location Joinville, SC - Brazil icon location Research Engineer at @informalsystems working on Quint

Results 1 repositories owned by Gabriela Moreira

tla-transmutation

68
Stars
7
Forks
Watchers

Elixir code and test generation from TLA+ specifications

verified publisher icon bugarela