Isn’t the formula for Roman concrete unknown?
Yes, though a lot of research has been done to figure out its most important properties. A secret of its durability was just figured out last year. https://news.mit.edu/2023/roman-concrete-durability-lime-casts-0106
Only in Nightly and not by default (you need to enable it).