Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 
avatar of Mitchell Buckley

Mitchell Buckley

Mitchell Buckley has asked 1 questions and find answers to 0 problems.

Stats

5
EtPoint
0
Vote count
1
questions
0
answers

About

Mathematician.

Interested in (higher) category theory, programming languages, abstract algebra, formalised mathematics.

Runner up: Coq-fight 2015, Sydney.

Mitchell Buckley answers