Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 
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.

Katty J. answers