Logical framework

ID: logical-framework

New to topics? Read the docs here!