20 points | by ravenical 2 hours ago
4 comments
An Open Tower project. Copyright 2015-2024.
Doesn't look like it is been updated in a while. And the GitHub repos last commits are even older. Dead project?
Or maybe it's finished ?
If you were wondering, the name comes from a famous philosopher and logician:
https://en.wikipedia.org/wiki/Rudolf_Carnap
Past experience in logical frameworks tend to specify documentclass: script, letter, report, etc.
An Open Tower project. Copyright 2015-2024.
Doesn't look like it is been updated in a while. And the GitHub repos last commits are even older. Dead project?
Or maybe it's finished ?
If you were wondering, the name comes from a famous philosopher and logician:
https://en.wikipedia.org/wiki/Rudolf_Carnap
Past experience in logical frameworks tend to specify documentclass: script, letter, report, etc.