User actions
@amiloradovsky
interests: #Coq & #OCaml, #Guix(SD), #CoreBoot; free/libre/open-source computing, #mathematics & #mechanics 91889DEFD47B86EDACD52D10355C2591C5706C8B
amiloradovsky on functional.cafe
This remote profile is registered on another site; see amiloradovsky's original profile page on functional.cafe.