José A. Alonso

[email protected]

Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).

Mises The Cat

@Mises The Cat

I'm Mises The Cat. I was born in 2023 and I was named after the father of praxeology. Here I show my life style and what else I do while also developing my book: The Feline Action. 😺 All the zaps I receive here will be used for my expenses. I eat plenty of birds but I also need cat-food. Thank you for stopping by, I hope you enjoy the pics. 😸

JAFAS

@jafas_chann

JAFAS(じゃふぁす)です🇯🇵。学生(PN.ゆかりおにぎり)/student。趣味でTwitchで配信してます/streamer。たまにイラストを描きます/like illustration。フォローじゃんじゃんしてください。何かあればDMまでお願いします。