diff --git a/README.md b/README.md
index a3c78be..c25ecb7 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,13 @@
+![alt text](./assets/inference-logo-oulined-shaped-font.svg)
+
+<div align="center">
+   
 [![Build](https://github.com/Inferara/inference/actions/workflows/build_main.yml/badge.svg?branch=main)](https://github.com/Inferara/inference/actions/workflows/build_main.yml)
+[![Miri Check](https://github.com/Inferara/inference/actions/workflows/miri.yml/badge.svg)](https://github.com/Inferara/inference/actions/workflows/miri.yml)
 [![codecov](https://codecov.io/gh/Inferara/inference/branch/main/graph/badge.svg)](https://codecov.io/gh/Inferara/inference)
 
+</div>
+
 # 🌀 Inference Programming Language
 
 Inference is a programming language designed for building verifiable software. It is featured with static typing, explicit semantics, and formal verification capabilities available out of the box.
@@ -69,10 +76,10 @@ infs --version
 
 ### Exit Codes
 
-| Code | Meaning                         |
-|------|---------------------------------|
-| 0    | Success                         |
-| 1    | Usage / IO / Parse failure      |
+| Code | Meaning                    |
+| ---- | -------------------------- |
+| 0    | Success                    |
+| 1    | Usage / IO / Parse failure |
 
 ### Future Commands (Planned)
 
@@ -90,10 +97,10 @@ Prebuilt binaries are available for each release. Two CLI tools are distributed:
 
 ### Release Artifacts
 
-| Platform | infs | infc |
-|----------|------|------|
-| Linux x64 | `infs-linux-x64.tar.gz` | `infc-linux-x64.tar.gz` |
-| Windows x64 | `infs-windows-x64.zip` | `infc-windows-x64.zip` |
+| Platform    | infs                              | infc                              |
+| ----------- | --------------------------------- | --------------------------------- |
+| Linux x64   | `infs-linux-x64.tar.gz`           | `infc-linux-x64.tar.gz`           |
+| Windows x64 | `infs-windows-x64.zip`            | `infc-windows-x64.zip`            |
 | macOS ARM64 | `infs-macos-apple-silicon.tar.gz` | `infc-macos-apple-silicon.tar.gz` |
 
 ### Directory Structure
@@ -110,6 +117,7 @@ The CLI binaries are self-contained and require no external dependencies.
 To build Inference from source:
 
 For detailed platform-specific setup instructions, see:
+
 - [Linux Development Setup](book/installation_linux.md)
 - [macOS Development Setup](book/installation_macos.md)
 - [Windows Development Setup](book/installation_windows.md)
@@ -121,12 +129,14 @@ No external binaries are required. The compiler generates WebAssembly directly v
 ### Build Steps
 
 1. Clone the repository:
+
    ```bash
    git clone https://github.com/Inferara/inference.git
    cd inference
    ```
 
 2. Build the project:
+
    ```bash
    cargo build --release
    ```
diff --git a/assets/inference-logo-oulined-shaped-font.svg b/assets/inference-logo-oulined-shaped-font.svg
new file mode 100644
index 0000000..8bd19c2
--- /dev/null
+++ b/assets/inference-logo-oulined-shaped-font.svg
@@ -0,0 +1,45 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<svg width="100%" height="100%" viewBox="0 0 489 138" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" xmlns:serif="http://www.serif.com/" style="fill-rule:evenodd;clip-rule:evenodd;">
+    <g transform="matrix(1,0,0,1,-0.527864,4.684658)">
+        <g>
+            <path d="M41.831,91.925L41.831,91.928C41.833,98.253 42.331,103.202 43.367,106.77C44.138,109.424 45.505,110.894 47.731,110.894C50.788,110.894 53.43,110.234 55.645,108.865C58.182,107.25 60.604,105.404 62.91,103.328L64.148,102.213L68.583,105.625L68.583,109.268L68.165,109.808C66.082,112.503 63.633,115.26 60.815,118.078C58.059,120.834 55.052,123.151 51.796,125.031C48.485,127.014 44.975,128 41.267,128C38.49,128 35.846,127.471 33.348,126.423C30.775,125.418 28.634,123.264 27.061,119.831C25.66,116.774 24.904,112.133 24.904,105.864L25.981,66.174C25.979,61.801 25.554,58.32 24.643,55.701L24.632,55.664C24.106,53.937 23.199,52.952 21.697,52.952C20.015,52.952 17.977,53.574 15.526,54.747L15.493,54.761C12.832,55.918 10.459,57.131 8.377,58.404L6.797,59.369L2.26,53.088L3.756,51.899C7.881,48.624 12.249,45.53 16.869,42.612L16.879,42.606C21.939,39.492 26.373,38 30.136,38C35.038,38 38.443,39.773 40.462,43.09C42.312,46.129 43.267,49.822 43.267,54.222L41.831,91.925ZM39.831,91.887L41.267,54.184C41.267,50.234 40.429,46.882 38.754,44.129C37.078,41.377 34.205,40 30.136,40C26.665,40 22.595,41.436 17.927,44.309C13.379,47.182 9.07,50.234 5,53.466L7.334,56.697C9.489,55.381 11.942,54.124 14.695,52.927C17.448,51.61 19.782,50.952 21.697,50.952C24.091,50.952 25.707,52.328 26.545,55.081C27.502,57.834 27.981,61.545 27.981,66.213L26.904,105.891C26.904,111.756 27.562,116.125 28.879,118.998C30.195,121.871 31.931,123.726 34.086,124.564C36.36,125.521 38.754,126 41.267,126C44.619,126 47.791,125.102 50.783,123.307C53.895,121.511 56.768,119.297 59.401,116.664C62.154,113.911 64.548,111.218 66.583,108.585L66.583,106.61L64.248,104.814C61.855,106.969 59.341,108.884 56.708,110.559C54.194,112.116 51.202,112.894 47.731,112.894C44.619,112.894 42.524,111.038 41.447,107.328C40.37,103.617 39.831,98.47 39.831,91.887Z"/>
+            <path d="M39.831,91.887L41.267,54.184C41.267,50.234 40.429,46.882 38.754,44.129C37.078,41.377 34.205,40 30.136,40C26.665,40 22.595,41.436 17.927,44.309C13.379,47.182 9.07,50.234 5,53.466L7.334,56.697C9.489,55.381 11.942,54.124 14.695,52.927C17.448,51.61 19.782,50.952 21.697,50.952C24.091,50.952 25.707,52.328 26.545,55.081C27.502,57.834 27.981,61.545 27.981,66.213L26.904,105.891C26.904,111.756 27.562,116.125 28.879,118.998C30.195,121.871 31.931,123.726 34.086,124.564C36.36,125.521 38.754,126 41.267,126C44.619,126 47.791,125.102 50.783,123.307C53.895,121.511 56.768,119.297 59.401,116.664C62.154,113.911 64.548,111.218 66.582,108.585L66.582,106.61L64.248,104.814C61.855,106.969 59.341,108.884 56.708,110.559C54.194,112.116 51.202,112.894 47.731,112.894C44.619,112.894 42.524,111.038 41.447,107.328C40.37,103.617 39.831,98.47 39.831,91.887Z" style="fill:white;"/>
+            <circle cx="34.5" cy="14.5" r="13" style="fill:rgb(106,0,0);stroke:black;stroke-width:3px;"/>
+        </g>
+        <g>
+            <g transform="matrix(1,0,0,1,73,127.624)">
+                <path d="M5.056,-92.72L17,-92.72L39.44,-40.23L39.44,-92.72L53.968,-92.72L53.968,2L42.576,2L19.808,-52.038L19.808,2L5.056,2L5.056,-92.72ZM7.056,0L17.808,0L17.808,-61.936L43.904,0L51.968,0L51.968,-90.72L41.44,-90.72L41.44,-30.464L15.68,-90.72L7.056,-90.72L7.056,0Z" style="fill:white;"/>
+                <path d="M7.056,0L7.056,-90.72L15.68,-90.72L41.44,-30.464L41.44,-90.72L51.968,-90.72L51.968,0L43.904,0L17.808,-61.936L17.808,0L7.056,0Z" style="fill-rule:nonzero;"/>
+            </g>
+            <g transform="matrix(1,0,0,1,73,127.624)">
+                <path d="M64.192,-92.72L103.248,-92.72L103.248,-79.648L80.848,-79.648L80.848,-53.408L98.208,-53.408L98.208,-40.448L80.848,-40.448L80.848,2L64.192,2L64.192,-92.72ZM66.192,0L78.848,0L78.848,-42.448L96.208,-42.448L96.208,-51.408L78.848,-51.408L78.848,-81.648L101.248,-81.648L101.248,-90.72L66.192,-90.72L66.192,0Z" style="fill:white;"/>
+                <path d="M66.192,0L66.192,-90.72L101.248,-90.72L101.248,-81.648L78.848,-81.648L78.848,-51.408L96.208,-51.408L96.208,-42.448L78.848,-42.448L78.848,0L66.192,0Z" style="fill-rule:nonzero;"/>
+            </g>
+            <g transform="matrix(1,0,0,1,73,127.624)">
+                <path d="M107.984,-92.72L147.152,-92.72L147.152,-79.312L124.64,-79.312L124.64,-53.296L142.896,-53.296L142.896,-40.336L124.64,-40.336L124.64,-11.072L147.376,-11.072L147.376,2L107.984,2L107.984,-92.72ZM109.984,0L145.376,0L145.376,-9.072L122.64,-9.072L122.64,-42.336L140.896,-42.336L140.896,-51.296L122.64,-51.296L122.64,-81.312L145.152,-81.312L145.152,-90.72L109.984,-90.72L109.984,0Z" style="fill:white;"/>
+                <path d="M109.984,0L109.984,-90.72L145.152,-90.72L145.152,-81.312L122.64,-81.312L122.64,-51.296L140.896,-51.296L140.896,-42.336L122.64,-42.336L122.64,-9.072L145.376,-9.072L145.376,0L109.984,0Z" style="fill-rule:nonzero;"/>
+            </g>
+            <g transform="matrix(1,0,0,1,73,127.624)">
+                <path d="M153.568,-92.72L173.824,-92.72C180.177,-92.72 185.427,-91.852 189.584,-90.165C194,-88.374 197.261,-85.488 199.386,-81.53C201.42,-77.74 202.48,-72.783 202.48,-66.64C202.48,-62.946 202.082,-59.587 201.296,-56.561C200.469,-53.378 199.134,-50.697 197.315,-48.506C195.82,-46.706 193.95,-45.29 191.699,-44.272L204.805,2L188.434,2L176.562,-40.56L170.224,-40.56L170.224,2L153.568,2L153.568,-92.72ZM155.568,0L168.224,0L168.224,-42.56L178.08,-42.56L189.952,0L202.16,0L189.28,-45.472C191.968,-46.368 194.133,-47.805 195.776,-49.784C197.419,-51.763 198.613,-54.189 199.36,-57.064C200.107,-59.939 200.48,-63.131 200.48,-66.64C200.48,-72.389 199.528,-77.037 197.624,-80.584C195.72,-84.131 192.789,-86.707 188.832,-88.312C184.875,-89.917 179.872,-90.72 173.824,-90.72L155.568,-90.72L155.568,0ZM168.224,-51.632L168.224,-81.648L173.824,-81.648C179.573,-81.648 183.419,-80.472 185.36,-78.12C187.301,-75.768 188.272,-71.941 188.272,-66.64C188.272,-62.757 187.749,-59.733 186.704,-57.568C185.659,-55.403 184.016,-53.872 181.776,-52.976C179.536,-52.08 176.624,-51.632 173.04,-51.632L168.224,-51.632ZM170.224,-53.632L173.04,-53.632C176.318,-53.632 178.985,-54.014 181.033,-54.833C182.792,-55.536 184.082,-56.737 184.903,-58.437C185.847,-60.393 186.272,-63.133 186.272,-66.64C186.272,-71.339 185.538,-74.762 183.818,-76.847C182.147,-78.87 178.77,-79.648 173.824,-79.648L170.224,-79.648L170.224,-53.632Z" style="fill:white;"/>
+                <path d="M155.568,0L155.568,-90.72L173.824,-90.72C179.872,-90.72 184.875,-89.917 188.832,-88.312C192.789,-86.707 195.72,-84.131 197.624,-80.584C199.528,-77.037 200.48,-72.389 200.48,-66.64C200.48,-63.131 200.107,-59.939 199.36,-57.064C198.613,-54.189 197.419,-51.763 195.776,-49.784C194.133,-47.805 191.968,-46.368 189.28,-45.472L202.16,0L189.952,0L178.08,-42.56L168.224,-42.56L168.224,0L155.568,0ZM168.224,-51.632L173.04,-51.632C176.624,-51.632 179.536,-52.08 181.776,-52.976C184.016,-53.872 185.659,-55.403 186.704,-57.568C187.749,-59.733 188.272,-62.757 188.272,-66.64C188.272,-71.941 187.301,-75.768 185.36,-78.12C183.419,-80.472 179.573,-81.648 173.824,-81.648L168.224,-81.648L168.224,-51.632Z" style="fill-rule:nonzero;"/>
+            </g>
+            <g transform="matrix(1,0,0,1,73,127.624)">
+                <path d="M211.696,-92.72L250.864,-92.72L250.864,-79.312L228.352,-79.312L228.352,-53.296L246.608,-53.296L246.608,-40.336L228.352,-40.336L228.352,-11.072L251.088,-11.072L251.088,2L211.696,2L211.696,-92.72ZM213.696,0L249.088,0L249.088,-9.072L226.352,-9.072L226.352,-42.336L244.608,-42.336L244.608,-51.296L226.352,-51.296L226.352,-81.312L248.864,-81.312L248.864,-90.72L213.696,-90.72L213.696,0Z" style="fill:white;"/>
+                <path d="M213.696,0L213.696,-90.72L248.864,-90.72L248.864,-81.312L226.352,-81.312L226.352,-51.296L244.608,-51.296L244.608,-42.336L226.352,-42.336L226.352,-9.072L249.088,-9.072L249.088,0L213.696,0Z" style="fill-rule:nonzero;"/>
+            </g>
+            <g transform="matrix(1,0,0,1,73,127.624)">
+                <path d="M257.28,-92.72L269.224,-92.72L291.664,-40.23L291.664,-92.72L306.192,-92.72L306.192,2L294.8,2L272.032,-52.038L272.032,2L257.28,2L257.28,-92.72ZM259.28,0L270.032,0L270.032,-61.936L296.128,0L304.192,0L304.192,-90.72L293.664,-90.72L293.664,-30.464L267.904,-90.72L259.28,-90.72L259.28,0Z" style="fill:white;"/>
+                <path d="M259.28,0L259.28,-90.72L267.904,-90.72L293.664,-30.464L293.664,-90.72L304.192,-90.72L304.192,0L296.128,0L270.032,-61.936L270.032,0L259.28,0Z" style="fill-rule:nonzero;"/>
+            </g>
+            <g transform="matrix(1,0,0,1,73,127.624)">
+                <path d="M341.152,3.008C334.203,3.008 328.83,1.479 324.992,-1.43C321.112,-4.371 318.405,-8.325 316.894,-13.308C315.46,-18.036 314.736,-23.306 314.736,-29.12L314.736,-61.152C314.736,-67.497 315.463,-73.028 316.894,-77.748C318.415,-82.762 321.144,-86.633 325.047,-89.386C328.872,-92.084 334.228,-93.504 341.152,-93.504C347.28,-93.504 352.125,-92.319 355.713,-90.061C359.406,-87.737 362.07,-84.425 363.689,-80.11C365.218,-76.032 366,-71.133 366,-65.408L366,-56.24L350.016,-56.24L350.016,-64.624C350.016,-67.886 349.855,-70.768 349.529,-73.269C349.261,-75.323 348.581,-76.939 347.391,-78.07C346.179,-79.221 344.11,-79.648 341.264,-79.648C338.32,-79.648 336.137,-79.146 334.787,-77.889C333.434,-76.628 332.603,-74.821 332.203,-72.514C331.734,-69.812 331.504,-66.659 331.504,-63.056L331.504,-27.104C331.504,-22.779 331.84,-19.355 332.549,-16.838C333.141,-14.738 334.052,-13.203 335.413,-12.315C336.856,-11.374 338.816,-10.96 341.264,-10.96C344.013,-10.96 346.029,-11.427 347.224,-12.653C348.449,-13.907 349.169,-15.656 349.475,-17.859C349.837,-20.468 350.016,-23.513 350.016,-26.992L350.016,-35.712L366,-35.712L366,-26.992C366,-21.237 365.29,-16.163 363.89,-11.769C362.405,-7.109 359.833,-3.492 356.204,-0.894C352.639,1.659 347.634,3.008 341.152,3.008ZM341.152,1.008C347.125,1.008 351.755,-0.168 355.04,-2.52C358.325,-4.872 360.64,-8.157 361.984,-12.376C363.328,-16.595 364,-21.467 364,-26.992L364,-33.712L352.016,-33.712L352.016,-26.992C352.016,-23.408 351.829,-20.272 351.456,-17.584C351.083,-14.896 350.149,-12.787 348.656,-11.256C347.163,-9.725 344.699,-8.96 341.264,-8.96C338.352,-8.96 336.037,-9.52 334.32,-10.64C332.603,-11.76 331.371,-13.645 330.624,-16.296C329.877,-18.947 329.504,-22.549 329.504,-27.104L329.504,-63.056C329.504,-66.789 329.747,-70.056 330.232,-72.856C330.717,-75.656 331.781,-77.821 333.424,-79.352C335.067,-80.883 337.68,-81.648 341.264,-81.648C344.773,-81.648 347.275,-80.939 348.768,-79.52C350.261,-78.101 351.176,-76.104 351.512,-73.528C351.848,-70.952 352.016,-67.984 352.016,-64.624L352.016,-58.24L364,-58.24L364,-65.408C364,-70.859 363.272,-75.525 361.816,-79.408C360.36,-83.291 357.971,-86.277 354.648,-88.368C351.325,-90.459 346.827,-91.504 341.152,-91.504C334.731,-91.504 329.747,-90.253 326.2,-87.752C322.653,-85.251 320.189,-81.723 318.808,-77.168C317.427,-72.613 316.736,-67.275 316.736,-61.152L316.736,-29.12C316.736,-23.52 317.427,-18.443 318.808,-13.888C320.189,-9.333 322.653,-5.712 326.2,-3.024C329.747,-0.336 334.731,1.008 341.152,1.008Z" style="fill:white;"/>
+                <path d="M341.152,1.008C334.731,1.008 329.747,-0.336 326.2,-3.024C322.653,-5.712 320.189,-9.333 318.808,-13.888C317.427,-18.443 316.736,-23.52 316.736,-29.12L316.736,-61.152C316.736,-67.275 317.427,-72.613 318.808,-77.168C320.189,-81.723 322.653,-85.251 326.2,-87.752C329.747,-90.253 334.731,-91.504 341.152,-91.504C346.827,-91.504 351.325,-90.459 354.648,-88.368C357.971,-86.277 360.36,-83.291 361.816,-79.408C363.272,-75.525 364,-70.859 364,-65.408L364,-58.24L352.016,-58.24L352.016,-64.624C352.016,-67.984 351.848,-70.952 351.512,-73.528C351.176,-76.104 350.261,-78.101 348.768,-79.52C347.275,-80.939 344.773,-81.648 341.264,-81.648C337.68,-81.648 335.067,-80.883 333.424,-79.352C331.781,-77.821 330.717,-75.656 330.232,-72.856C329.747,-70.056 329.504,-66.789 329.504,-63.056L329.504,-27.104C329.504,-22.549 329.877,-18.947 330.624,-16.296C331.371,-13.645 332.603,-11.76 334.32,-10.64C336.037,-9.52 338.352,-8.96 341.264,-8.96C344.699,-8.96 347.163,-9.725 348.656,-11.256C350.149,-12.787 351.083,-14.896 351.456,-17.584C351.829,-20.272 352.016,-23.408 352.016,-26.992L352.016,-33.712L364,-33.712L364,-26.992C364,-21.467 363.328,-16.595 361.984,-12.376C360.64,-8.157 358.325,-4.872 355.04,-2.52C351.755,-0.168 347.125,1.008 341.152,1.008Z" style="fill-rule:nonzero;"/>
+            </g>
+            <g transform="matrix(1,0,0,1,73,127.624)">
+                <path d="M374.096,-92.72L413.264,-92.72L413.264,-79.312L390.752,-79.312L390.752,-53.296L409.008,-53.296L409.008,-40.336L390.752,-40.336L390.752,-11.072L413.488,-11.072L413.488,2L374.096,2L374.096,-92.72ZM376.096,0L411.488,0L411.488,-9.072L388.752,-9.072L388.752,-42.336L407.008,-42.336L407.008,-51.296L388.752,-51.296L388.752,-81.312L411.264,-81.312L411.264,-90.72L376.096,-90.72L376.096,0Z" style="fill:white;"/>
+                <path d="M376.096,0L376.096,-90.72L411.264,-90.72L411.264,-81.312L388.752,-81.312L388.752,-51.296L407.008,-51.296L407.008,-42.336L388.752,-42.336L388.752,-9.072L411.488,-9.072L411.488,0L376.096,0Z" style="fill-rule:nonzero;"/>
+            </g>
+        </g>
+    </g>
+</svg>