User loginNavigation |
Frederic KoehlerPersonal informationType Theory, Algorithms and their formalization. And very casually, the philosophy of computer science/mathematics. History11 years 44 weeks |
Browse archives
Active forum topics |
Recent comments
22 weeks 6 days ago
22 weeks 6 days ago
22 weeks 6 days ago
45 weeks 1 day ago
49 weeks 3 days ago
51 weeks 7 hours ago
51 weeks 7 hours ago
1 year 1 week ago
1 year 6 weeks ago
1 year 6 weeks ago