Skip to content
Navigation menu
Search
Search
Log in
Create account
DEV Community
Close
#
leanprover
Follow
Hide
Posts
Left menu
đź‘‹
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
Right menu
RaciocĂnio Automatizado com Leonardo de Moura, Pesquisador na Microsoft Research
Elixir UTFPR (por Adolfo Neto)
Elixir UTFPR (por Adolfo Neto)
Elixir UTFPR (por Adolfo Neto)
Follow
Nov 23 '21
RaciocĂnio Automatizado com Leonardo de Moura, Pesquisador na Microsoft Research
#
lean
#
leanprover
#
formalmethods
3
 reactions
Comments
Add Comment
1 min read
loading...
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account
