This post is unavailable.
Replying to @bodil
@bodil Have you taken a look at Frege yet? I’ve only given it a cursory glance, but it looks interesting.

Jan 12, 2016 · 4:22 PM UTC