User blog comment:Revilo30703/Knuth's Up Arrow Infinite Expantion/@comment-5883141-20160123014850/@comment-5883141-20160123210128

Yes, certainly. I myself have been rapidly expanding CBEAF and will soon make a blog post about the progress.