Skip to content
Navigation menu
Search
Powered by
Search
Algolia
Search
Log in
Create account
Forem
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 blogging-forward open source social network where we learn from one another
Log in
Create account
