Twitter Feed
@relizarov ("Roman Elizarov") replied to a tweet by @relizarov:
It took many false starts and mental dead-ends to finally come up with a version that is actually correct, both in the proof on paper and in extensively tested implementation. /3