New proof theory blog

A new Proof Theory Blog has started up. “The purpose … is to give proof theorists a venue to communicate ideas, works-in-progress, gems, or simply observations that may be relevant to the proof theory community. The hope is that it can eventually evolve into a vibrant forum for proof theoretic discussions and collaboration.” Looks promising.

The post New proof theory blog appeared first on Logic Matters.