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

ConfusedFormalizer

ConfusedFormalizer has asked 2 questions and find answers to 0 problems.

Stats

10
EtPoint
0
Vote count
2
questions
0
answers

About

I'm currently fascinated by formal proofs and certification, but also generally interested in compiler design.

ConfusedFormalizer answers