
Coq Logo Vector Image 

Traal  Deciphered Scroll Messages 

Dominion Online tournament  Round 2 

Dominion Online tournament  Round 1 

Under construction 

On the practically true but theoretically false 

3 facts about the 4color theorem 

Sleep 

Is NP to P as RE is to R? 

2017 Utah Math Olympiad Announcement 

2017 

Uncomputable binary relations 

"I'm moving to Canada" 

Day 2: Facebook comments 

First post 

A cute ultrafilter problem (copied from WordPress) 

The first post (copied from WordPress) 