formalchemy.org is no longer available

[Martlark]

Is this project moribund/dead? The documentation site http://doc.formalchemy.org is no longer operating.

[aconrad]

There isn't much more activity here as far as I can tell. I don't use it anymore personally and the domain name expired last year I believe... If there is interest, I'm happy to pass on formalchemy.