Comment Comment by jimmyed Is this standard DSL for formal logic? What's it called? parent jimmyed 5 years ago
