Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 
avatar of Katty J.

Katty J.

Katty J. has asked 5 questions and find answers to 0 problems.

Stats

25
EtPoint
0
Vote count
5
questions
0
answers

About

I'm interested in combinatorics and dependently typed programming.