Obsidian plugins with #formal-language#

The UseSemaLogic plugin allows you to leverage the power of SemaLogic, a symbolic AI that can represent logical relationships in a coherent and user-friendly language. With this plugin, you can convert natural language into technical language and graphical representations, making it easier to visualize complex concepts and relationships. The plugin also enables you to use SemaLogic commands to display technical language, preview HTML code, and even integrate with an ASP-based SemaLogic service for solving logic problems. As the plugin is still in development, expect new features and improvements to be added regularly.