diff --git a/README.md b/README.md
index f04c8f785..bb6b2911e 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# Scenic
+[<img src="docs/images/logo-full.svg" alt="Scenic Logo" height="100">](https://scenic-lang.org/)
 
 [![Documentation Status](https://readthedocs.org/projects/scenic-lang/badge/?version=latest)](https://scenic-lang.readthedocs.io/en/latest/?badge=latest)
 [![Tests Status](https://github.com/BerkeleyLearnVerify/Scenic/actions/workflows/run-tests.yml/badge.svg)](https://github.com/BerkeleyLearnVerify/Scenic/actions/workflows/run-tests.yml)
diff --git a/docs/_static/custom.css b/docs/_static/custom.css
index 88790a6a8..8968ef400 100644
--- a/docs/_static/custom.css
+++ b/docs/_static/custom.css
@@ -12,6 +12,12 @@ pre {tab-size: 4;}
 .wy-table-responsive table td, .wy-table-responsive table th {white-space: normal;}
 /* Increase maximum body width to support 100-character lines */
 .wy-nav-content {max-width:900px;}
+/* Make SVG logo render at the correct size */
+.wy-side-nav-search .wy-dropdown > a img.logo, .wy-side-nav-search > a img.logo {
+    width: 100%;
+}
+/* Modify background color behind logo to make it more readable */
+.wy-side-nav-search {background-color:#48ac92}
 /* Shrink the sidebar to 270 pixels wide */
 .wy-tray-container li, .wy-menu-vertical, .wy-side-nav-search, .wy-nav-side,
 .rst-versions {width:270px;}
diff --git a/docs/conf.py b/docs/conf.py
index 16130e15d..69badcde9 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -151,6 +151,13 @@
     "custom.css",
 ]
 
+html_logo = "images/logo-full.svg"
+html_favicon = "images/favicon.ico"
+
+html_theme_options = {
+    "logo_only": True,
+}
+
 # -- Generate lists of keywords for the language reference -------------------
 
 import itertools
diff --git a/docs/images/favicon.ico b/docs/images/favicon.ico
new file mode 100644
index 000000000..3a60ee429
Binary files /dev/null and b/docs/images/favicon.ico differ
diff --git a/docs/images/logo-full.svg b/docs/images/logo-full.svg
new file mode 100644
index 000000000..e9c4caf5e
--- /dev/null
+++ b/docs/images/logo-full.svg
@@ -0,0 +1,84 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<svg id="Layer_1" data-name="Layer 1" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 1544.9 392.14">
+  <defs>
+    <style>
+      .cls-1, .cls-2, .cls-3, .cls-4 {
+        fill: #fdc700;
+      }
+
+      .cls-5 {
+        fill: #007ad9;
+      }
+
+      .cls-5, .cls-6 {
+        stroke-width: 8px;
+      }
+
+      .cls-5, .cls-6, .cls-2, .cls-4 {
+        stroke-miterlimit: 10;
+      }
+
+      .cls-5, .cls-2, .cls-4 {
+        stroke: #000;
+      }
+
+      .cls-6 {
+        fill: none;
+        stroke: #fdc700;
+        stroke-dasharray: 0 0 15 45;
+      }
+
+      .cls-2, .cls-3 {
+        fill-rule: evenodd;
+      }
+
+      .cls-2, .cls-4 {
+        stroke-width: 3.78px;
+      }
+    </style>
+  </defs>
+  <g>
+    <path class="cls-5" d="m509.47,168.14c-61.5,0-75.5,37-86,87-3.5,15.5-6,30-6,42.5,0,27.5,12.5,45.5,54.5,45.5h102.5l-9.5,45h-112c-70,0-96-35-96-88.5,0-15,2.5-32,6-49.5,17-85,46.5-127,141.5-127h111l-9.5,45h-96.5Z"/>
+    <path class="cls-5" d="m688.97,388.14c-62.5,0-84.5-29-84.5-78,0-17.5,3-37.5,7.5-60,22.5-105,62-130,152-130,65,0,113.5,18.5,113.5,79,0,9.5-.5,19.5-3,31-6,30-22,45-52,45h-154c-2.5,11.5-3.5,21.5-3.5,30.5,0,23,10,37.5,46,37.5h129.5l-9.5,45h-142Zm110.5-158c11.5,0,15.5-8,16.5-15.5.5-4,1-9,1-12.5,0-27.5-26.5-37-57.5-37-50,0-72,20-81.5,65h121.5Z"/>
+    <path class="cls-5" d="m922.47,168.14c6.5-30,19.5-45,54.5-45h88c52.5,0,91,19.5,91,67.5,0,7-.5,17-2,23l-37.5,174.5h-58.5l34-159c2-8.5,3-16,3-22.5,0-25.5-14-38.5-45.5-38.5h-53.5c-10,0-16.5,5-18.5,15l-43.5,205h-58.5l47-220Z"/>
+    <path class="cls-5" d="m1218.97,123.14h58.5l-56.5,265h-58.5l56.5-265Z"/>
+    <path class="cls-5" d="m1433.97,168.14c-61.5,0-75.5,37-86,87-3.5,15.5-6,30-6,42.5,0,27.5,12.5,45.5,54.5,45.5h102.5l-9.5,45h-112c-70,0-96-35-96-88.5,0-15,2.5-32,6-49.5,17-85,46.5-127,141.5-127h111l-9.5,45h-96.5Z"/>
+  </g>
+  <path class="cls-5" d="m256.83,90.64h-95.36c-21.5,0-32.5,6-37,29-1,5.5-2,12.5-2,17.5,0,10.5,5.5,19.5,24,26l114.5,40.5c39,13.5,60,35.5,60,73.5,0,8,0,16.5-1.5,26-8,52-35.5,85-94.5,85H4.97l11.5-52.5h194c31.5,0,38.5-20.5,41-32,1-5,2-11.5,2-16,0-10.5-6.5-20-27.5-27.5l-124-43.5c-33-11.5-47-37-47-69.5,0-9,0-19,1.5-29.5,8-50.5,33-79.5,98.5-79.5h101.86v52.5Z"/>
+  <path class="cls-6" d="m10.72,361.89h207c45.25,0,62.5-26.75,67.75-58.5,1.25-7.25,1.75-14.75,1.75-21,0-24.25-13.75-40-43.75-50.5l-119.25-42c-25.75-9-35.5-26.25-35.5-47.75,0-7,.5-15.5,1.75-23.5,6.25-36.75,24.25-54.25,67.75-54.25h106.11"/>
+  <g>
+    <g>
+      <path d="m1229.31,12.19c6.94,0,13.76,1.53,18.44,4.48,7.52,4.74,7.62,11.87-.25,16.88l.44.3c4.11,2.83,10.01,4.67,16.53,5.11,1.02.07,2.03.1,3.03.1,5.42,0,10.46-1.02,14.39-2.92l.5-.25c-7.05-6.05-5.69-13.13,2.74-16.92,3.84-1.73,8.74-2.57,13.88-2.57,7.1,0,14.68,1.6,20.64,4.69,10.89,5.65,13.04,14.46,3.79,19.56-4.02,2.21-9.5,3.32-15.37,3.32-1.1,0-2.21-.04-3.33-.12-5.48-.38-11.01-1.68-15.75-3.85l-.5.25c-4.67,2.35-7.3,5.82-7.33,9.85-.03,4.18,2.74,8.47,7.93,12.03l.57.39c3.95-1.45,8.47-2.15,13.17-2.15,8.83,0,18.3,2.49,25.83,7.23,13.97,8.8,17.38,22.79,6.01,31.04-5.02,3.63-11.97,5.42-19.45,5.42-1.41,0-2.84-.06-4.28-.19-9.02-.8-18.07-4.06-24.86-9.42-11.35-8.97-12.37-20.67-3.75-27.83l-.57-.41c-5.16-3.69-11.91-5.97-19.11-6.51-1.1-.08-2.2-.12-3.28-.12-5.99,0-11.71,1.25-16.46,3.64l-.62.31c7.1,8.31,4.1,19.58-8.32,26.43-6.17,3.4-13.54,5.08-20.77,5.08-1.36,0-2.72-.06-4.07-.18-8.44-.75-16.03-3.8-20.68-8.82-8.77-9.49-3.5-22.07,10.46-28.34,5.57-2.5,11.93-3.73,18.16-3.73,6.9,0,13.63,1.51,18.91,4.49l.61-.3c5.57-2.7,8.97-6.48,9.65-10.57.67-3.93-1.27-7.68-5.35-10.6l-.44-.31c-3.95,1.19-8.23,1.77-12.44,1.77-7.8,0-15.32-1.97-19.92-5.62-7.59-5.99-4.2-14.09,6.71-18.19,4.39-1.65,9.48-2.45,14.51-2.45m-.99,21.45c2.29,0,4.61-.25,6.8-.77l-7.2-5.14-.83.34c-.83.35-1.81.53-2.82.53-.18,0-.37,0-.55-.02-1.2-.08-2.24-.41-2.94-.92-.69-.51-.96-1.14-.76-1.78.2-.63.85-1.19,1.82-1.58l8.5-3.41c.79-.32,1.74-.49,2.71-.49.17,0,.34,0,.51.02,1.15.08,2.18.38,2.89.85.72.48,1.03,1.09.89,1.7-.15.62-.74,1.17-1.68,1.56l-.81.33,7.27,5c4.42-3.26,4.24-7.72-.39-10.73-2.67-1.74-6.44-2.82-10.66-3.08-.65-.04-1.3-.06-1.94-.06-3.54,0-7,.6-9.94,1.73-3.53,1.36-5.95,3.35-6.78,5.64-.86,2.34.05,4.71,2.6,6.65,3.09,2.35,8.12,3.63,13.31,3.63m60.18-.72l8.34-4.06-.77-.44c-.89-.52-1.4-1.15-1.44-1.79-.04-.64.39-1.2,1.21-1.6.69-.33,1.58-.5,2.56-.5.19,0,.38,0,.57.02,1.2.07,2.36.39,3.25.89l8.25,4.59c.94.52,1.52,1.18,1.62,1.85.09.68-.3,1.28-1.13,1.71-.7.36-1.64.55-2.68.55-.18,0-.37,0-.56-.02-1.26-.08-2.48-.43-3.42-.97l-.81-.46-8.36,4.21c2.81,1.07,5.96,1.72,9.07,1.93.75.05,1.5.08,2.23.08,3.87,0,7.51-.71,10.18-2.13,3.06-1.63,4.46-3.93,3.98-6.44-.46-2.46-2.66-4.82-6.14-6.67-3.41-1.82-7.7-2.96-12.11-3.23-.68-.04-1.34-.06-2-.06-3.63,0-6.95.63-9.52,1.81-5.25,2.44-6.23,6.87-2.32,10.73m-64.1-5.97c.32,0,.63-.06.89-.17l2.05-.84,1.22-.49,2.09-.86,1.19-.49,2-.82c.3-.12.5-.3.55-.5.05-.2-.05-.39-.28-.55-.23-.16-.57-.26-.94-.28-.05,0-.11,0-.16,0-.32,0-.63.05-.89.15l-8.53,3.46c-.32.13-.52.31-.59.52-.06.2.03.41.26.57.22.16.56.27.95.29.06,0,.13,0,.19,0m83.26,5.46c.35,0,.66-.06.89-.17.27-.14.4-.34.37-.55-.02-.22-.21-.44-.51-.61l-8.25-4.64c-.29-.16-.66-.26-1.05-.29-.06,0-.11,0-.17,0-.33,0-.63.05-.86.16-.26.13-.4.31-.38.52.01.21.18.41.47.58l1.92,1.09,1.15.65,2.01,1.15,1.17.67,1.99,1.12c.3.18.69.29,1.1.32.05,0,.1,0,.15,0m-43.19,23.73c6.06,0,10.88-2.77,11-6.45.13-3.82-4.94-7.2-11.27-7.64-.46-.03-.91-.05-1.36-.05-5.73,0-10.52,2.5-11.01,6-.56,3.9,4.42,7.58,11.14,8.08.51.04,1.01.06,1.5.06m-50.58,31.23c4.71,0,9.56-1.06,13.71-3.27,7.78-4.13,10.37-11.1,6.86-16.61l-11.54,5.82.74.66c.88.79,1.23,1.77.99,2.77-.23,1.01-1.04,1.92-2.28,2.56-1.05.54-2.3.83-3.58.83-.23,0-.46,0-.68-.03-1.5-.13-2.8-.65-3.66-1.46l-7.47-7.06c-.81-.76-1.08-1.71-.77-2.65.3-.94,1.13-1.77,2.34-2.35,1.03-.48,2.22-.74,3.42-.74.21,0,.43,0,.64.02,1.42.12,2.65.58,3.47,1.31l.7.64,11.43-5.56c-2.74-1.33-5.96-2.12-9.3-2.38-.79-.06-1.59-.09-2.39-.09-4.29,0-8.69.86-12.5,2.63-4.52,2.09-7.74,5.17-9.03,8.72-1.34,3.66-.47,7.37,2.53,10.43,3.72,3.81,9.91,5.81,16.37,5.81m93.95-12.35l.86-.52c.84-.52,1.95-.8,3.19-.8.23,0,.46,0,.69.03,1.51.12,2.98.62,4.15,1.4,1.18.79,1.91,1.78,2.06,2.79.15,1.02-.32,1.94-1.31,2.58l-9.17,5.92c-.89.58-2.07.88-3.38.88-.24,0-.48,0-.72-.03-1.59-.13-3.11-.68-4.28-1.54-1.17-.86-1.84-1.91-1.9-2.97-.07-1.05.48-1.99,1.52-2.63l.9-.55-10.85-7.75c-4.57,4.96-3.17,12.36,4.06,17.85,4.56,3.46,10.54,5.54,16.44,6.04.94.08,1.88.12,2.81.12,4.89,0,9.46-1.13,12.82-3.46,3.79-2.61,5.41-6.29,4.66-10.29-.74-3.88-3.63-7.59-8.07-10.48-5.09-3.32-11.67-5.08-17.79-5.08-2.67,0-5.24.34-7.57,1.02l10.88,7.47m-88.84,2.5c.41,0,.81-.09,1.15-.27.4-.2.67-.49.75-.82.08-.32-.03-.64-.31-.9l-1.83-1.67-1.07-.98-1.85-1.68-1.05-.96-1.75-1.6c-.27-.24-.67-.39-1.13-.43-.06,0-.13,0-.19,0-.4,0-.8.08-1.14.25-.39.19-.66.46-.75.77-.1.3,0,.61.26.85l7.51,6.97c.28.26.7.43,1.18.47.07,0,.15,0,.22,0m85.22,7.02c.42,0,.79-.09,1.08-.28l9.16-5.82c.33-.2.48-.5.44-.83-.04-.33-.28-.65-.66-.91-.38-.26-.86-.42-1.36-.46-.08,0-.15,0-.23,0-.4,0-.76.09-1.03.26l-2.13,1.34-1.28.8-2.24,1.4-1.3.81-2.21,1.38c-.34.21-.51.52-.48.86.02.34.25.69.62.96.38.27.87.45,1.39.49.08,0,.16,0,.23,0m-74.91-75.34v3-3c-5.58,0-10.96.91-15.56,2.64-7.23,2.72-11.83,7.2-12.63,12.31-.63,4.03,1.19,7.95,5.11,11.05,5.03,3.98,12.97,6.26,21.78,6.26,4.06,0,8.12-.51,11.84-1.48,1.99,1.6,3.96,4.02,3.43,7.12-.49,2.94-3.12,5.82-7.26,8-5.36-2.66-12.02-4.12-18.95-4.12-6.86,0-13.56,1.38-19.39,4-8.81,3.96-14.71,10.34-16.17,17.52-1.13,5.53.56,11.07,4.74,15.6,5.05,5.46,13.08,8.93,22.62,9.77,1.43.13,2.88.19,4.33.19,7.95,0,15.84-1.94,22.22-5.45,7.45-4.11,12.2-9.92,13.37-16.36.72-3.94.02-7.89-1.98-11.45,3.76-1.44,8.04-2.2,12.56-2.2,1.01,0,2.04.04,3.06.12,5.59.42,10.88,1.97,15.19,4.43-2.65,3.25-4.06,7.11-4.01,11.19.08,6.59,3.85,13.16,10.61,18.5,7.09,5.6,16.49,9.17,26.46,10.05,1.52.13,3.05.2,4.55.2,8.34,0,15.87-2.13,21.2-5.99,5.39-3.91,8.25-9.32,8.05-15.24-.25-7.67-5.44-15.24-14.22-20.77-7.77-4.89-17.77-7.69-27.43-7.69-4.58,0-8.85.61-12.69,1.82-3.83-2.8-5.99-6.08-5.97-9.07.02-3.26,2.55-5.45,4.94-6.8,4.65,1.93,9.96,3.14,15.43,3.52,1.18.08,2.38.12,3.54.12,6.62,0,12.44-1.28,16.82-3.69,4.81-2.65,7.43-6.48,7.37-10.78-.07-5.27-4.16-10.4-11.23-14.07-6.16-3.19-14.19-5.02-22.02-5.02-5.76,0-10.99.98-15.11,2.83-5.16,2.32-8.34,5.91-8.94,10.1-.41,2.83.4,5.71,2.3,8.39-2.88.87-6.24,1.34-9.75,1.34-.93,0-1.88-.03-2.83-.1-4.39-.3-8.55-1.3-11.9-2.83,2.37-2.45,3.63-5.27,3.62-8.19,0-4.11-2.51-7.95-7.05-10.81-4.99-3.14-12.29-4.94-20.04-4.94h0Zm-12.02,18.76c-.16-.11-.32-.22-.47-.33-2.17-1.65-1.74-2.84-1.6-3.22.51-1.41,2.39-2.86,5.04-3.88,1.95-.75,4.17-1.24,6.51-1.43l-6.05,2.43c-1.82.73-3.09,1.96-3.56,3.46-.32,1.01-.26,2.04.13,2.98h0Zm22.59-3.27c.17-.32.29-.65.38-1,.15-.65.15-1.3,0-1.92,1.28.88,2.03,1.88,2.06,2.77.01.47-.16.97-.51,1.48l-1.93-1.33h0Zm74.46,9.86c.61-.89.87-1.94.73-3.06v-.02s0-.02,0-.02c-.24-1.62-1.35-3.05-3.14-4.03l-6.44-3.58c2.78.48,5.38,1.33,7.56,2.49,2.61,1.39,4.33,3.1,4.6,4.57.28,1.46-1.17,2.57-2.44,3.24-.27.14-.56.28-.86.41h0Zm-24.95-5.39c-.21-.45-.33-.93-.25-1.41.17-.98,1.18-1.97,2.78-2.75-.23.57-.33,1.19-.29,1.83.02.3.08.69.22,1.13l-2.47,1.2h0Zm-24.92,23.99c-.42,0-.85-.02-1.28-.05-4.13-.31-6.81-1.92-7.85-3.21-.43-.53-.61-1.02-.55-1.45.2-1.4,3.17-3.42,8.05-3.42.38,0,.77.01,1.15.04,5.25.37,8.53,2.94,8.48,4.54-.05,1.48-3.12,3.55-8,3.55h0Zm-50.98,9.79c1-.11,2.02-.16,3.04-.16.72,0,1.45.03,2.16.08.39.03.79.07,1.17.12l-2.65,1.29c-1.05-.68-2.31-1.13-3.72-1.33h0Zm.4,21.43c-5.9,0-11.22-1.84-14.22-4.91-1.51-1.54-3.05-4.05-1.86-7.3,1.01-2.77,3.66-5.27,7.47-7.03.03-.01.05-.02.08-.04-.97.82-1.65,1.82-2.01,2.92-.67,2.03-.08,4.19,1.58,5.75l7.46,7.05c1.35,1.28,3.29,2.08,5.46,2.27.33.03.64.04.94.04,1.77,0,3.48-.4,4.95-1.16,2.04-1.05,3.4-2.67,3.83-4.56.25-1.02.2-2.05-.13-3.02l5.47-2.76c.14.87.09,1.77-.15,2.68-.72,2.73-3.06,5.27-6.58,7.14-3.54,1.89-7.91,2.92-12.3,2.92h0Zm94.1-12.89l-2.84-1.95c2.69.06,5.44.49,8.04,1.24-.12-.01-.25-.03-.37-.04-.31-.02-.62-.04-.93-.04-1.43,0-2.76.27-3.9.78h0Zm-3.06,18.81c1.9,0,3.63-.47,5.01-1.36l9.17-5.92c1.98-1.28,2.97-3.35,2.65-5.54-.24-1.58-1.13-3.07-2.56-4.25.51.28,1.01.58,1.49.89,3.78,2.46,6.18,5.49,6.76,8.53.67,3.59-1.49,5.93-3.41,7.26-2.73,1.89-6.68,2.93-11.12,2.93-.84,0-1.7-.04-2.55-.11-5.52-.47-10.94-2.45-14.88-5.44-3.28-2.49-5.22-5.44-5.48-8.29-.09-1.03.04-2,.4-2.91l5.33,3.81c-.52.93-.76,1.98-.69,3.07.11,1.94,1.22,3.79,3.12,5.19,1.62,1.19,3.68,1.94,5.81,2.11.32.03.65.04.97.04h0Z"/>
+      <path class="cls-1" d="m1328.66,67.6c-11.54-7.26-27.62-9.25-39-5.08l-.57-.39c-5.19-3.56-7.96-7.85-7.93-12.03.03-4.03,2.66-7.5,7.33-9.85l.5-.25c4.74,2.17,10.27,3.47,15.75,3.85,7.09.49,13.93-.57,18.7-3.2,9.25-5.1,7.1-13.91-3.79-19.56-10.27-5.32-25.37-6.23-34.52-2.12-8.43,3.79-9.79,10.87-2.74,16.92l-.5.25c-4.65,2.26-10.87,3.27-17.42,2.82-6.52-.44-12.42-2.28-16.53-5.11l-.44-.3c7.87-5.01,7.77-12.14.25-16.88-8.08-5.09-22.51-5.95-32.95-2.03-10.91,4.1-14.3,12.2-6.71,18.19,7.09,5.61,21.08,7.26,32.36,3.85l.44.31c4.08,2.92,6.02,6.67,5.35,10.6-.68,4.09-4.08,7.87-9.65,10.57l-.61.3c-10.06-5.67-25.34-6.03-37.07-.76-13.96,6.27-19.23,18.85-10.46,28.34,4.65,5.02,12.24,8.07,20.68,8.82,8.48.75,17.51-.86,24.84-4.9,12.42-6.85,15.42-18.12,8.32-26.43l.62-.31c5.61-2.83,12.58-4.06,19.74-3.52,7.2.54,13.95,2.82,19.11,6.51l.57.41c-8.62,7.16-7.6,18.86,3.75,27.83,6.79,5.36,15.84,8.62,24.86,9.42,9.07.8,17.76-.91,23.73-5.23,11.37-8.25,7.96-22.24-6.01-31.04Zm-37.84-45.41c3.04-1.4,7.11-2.02,11.52-1.75,4.41.27,8.7,1.41,12.11,3.23,3.48,1.85,5.68,4.21,6.14,6.67.48,2.51-.92,4.81-3.98,6.44-3.18,1.69-7.72,2.37-12.41,2.05-3.11-.21-6.26-.86-9.07-1.93l8.36-4.21.81.46c.94.54,2.16.89,3.42.97s2.42-.11,3.24-.53c.83-.43,1.22-1.03,1.13-1.71-.1-.67-.68-1.33-1.62-1.85l-8.25-4.59c-.89-.5-2.05-.82-3.25-.89-1.2-.08-2.31.09-3.13.48-.82.4-1.25.96-1.21,1.6.04.64.55,1.27,1.44,1.79l.77.44-8.34,4.06c-3.91-3.86-2.93-8.29,2.32-10.73Zm6.88,4.63c-.02-.21.12-.39.38-.52.27-.13.63-.18,1.03-.16.39.03.76.13,1.05.29l8.25,4.64c.3.17.49.39.51.61.03.21-.1.41-.37.55-.26.13-.63.19-1.04.17-.41-.03-.8-.14-1.1-.32l-1.99-1.12-1.17-.67-2.01-1.15-1.15-.65-1.92-1.09c-.29-.17-.46-.37-.47-.58Zm-55.58,3.04l-7.27-5,.81-.33c.94-.39,1.53-.94,1.68-1.56.14-.61-.17-1.22-.89-1.7-.71-.47-1.74-.77-2.89-.85-1.15-.07-2.29.1-3.22.47l-8.5,3.41c-.97.39-1.62.95-1.82,1.58-.2.64.07,1.27.76,1.78.7.51,1.74.84,2.94.92,1.19.08,2.39-.1,3.37-.51l.83-.34,7.2,5.14c-7.18,1.69-15.65.52-20.11-2.86-2.55-1.94-3.46-4.31-2.6-6.65.83-2.29,3.25-4.28,6.78-5.64,3.48-1.34,7.68-1.93,11.88-1.67,4.22.26,7.99,1.34,10.66,3.08,4.63,3.01,4.81,7.47.39,10.73Zm-7.73-7.08c-.05.2-.25.38-.55.5l-2,.82-1.19.49-2.09.86-1.22.49-2.05.84c-.31.13-.7.19-1.08.16-.39-.02-.73-.13-.95-.29-.23-.16-.32-.37-.26-.57.07-.21.27-.39.59-.52l8.53-3.46c.3-.12.67-.17,1.05-.15.37.02.71.12.94.28.23.16.33.35.28.55Zm-6.79,61.31c-9.85,5.24-23.65,4.04-30.08-2.54-3-3.06-3.87-6.77-2.53-10.43,1.29-3.55,4.51-6.63,9.03-8.72,4.52-2.1,9.88-2.92,14.89-2.54,3.34.26,6.56,1.05,9.3,2.38l-11.43,5.56-.7-.64c-.82-.73-2.05-1.19-3.47-1.31-1.41-.11-2.85.15-4.06.72-1.21.58-2.04,1.41-2.34,2.35-.31.94-.04,1.89.77,2.65l7.47,7.06c.86.81,2.16,1.33,3.66,1.46,1.51.12,3.02-.16,4.26-.8s2.05-1.55,2.28-2.56c.24-1-.11-1.98-.99-2.77l-.74-.66,11.54-5.82c3.51,5.51.92,12.48-6.86,16.61Zm-6.7-7.67c-.08.33-.35.62-.75.82-.4.21-.89.3-1.37.26-.48-.04-.9-.21-1.18-.47l-7.51-6.97c-.26-.24-.36-.55-.26-.85.09-.31.36-.58.75-.77.4-.19.87-.27,1.33-.24.46.04.86.19,1.13.43l1.75,1.6,1.05.96,1.85,1.68,1.07.98,1.83,1.67c.28.26.39.58.31.9Zm42.07-20.34c-6.72-.5-11.7-4.18-11.14-8.08.53-3.77,6.06-6.38,12.37-5.95,6.33.44,11.4,3.82,11.27,7.64-.13,3.97-5.75,6.89-12.5,6.39Zm26.63,15.74l10.85,7.75-.9.55c-1.04.64-1.59,1.58-1.52,2.63.06,1.06.73,2.11,1.9,2.97,1.17.86,2.69,1.41,4.28,1.54,1.6.13,3.05-.17,4.1-.85l9.17-5.92c.99-.64,1.46-1.56,1.31-2.58-.15-1.01-.88-2-2.06-2.79-1.17-.78-2.64-1.28-4.15-1.4s-2.89.15-3.88.77l-.86.52-10.88-7.47c7.67-2.27,18.06-.7,25.36,4.06,4.44,2.89,7.33,6.6,8.07,10.48.75,4-.87,7.68-4.66,10.29-4,2.77-9.71,3.85-15.63,3.34-5.9-.5-11.88-2.58-16.44-6.04-7.23-5.49-8.63-12.89-4.06-17.85Zm12.38,11.25c-.03-.34.14-.65.48-.86l2.21-1.38,1.3-.81,2.24-1.4,1.28-.8,2.13-1.34c.32-.2.77-.29,1.26-.25.5.04.98.2,1.36.46.38.26.62.58.66.91.04.33-.11.63-.44.83l-9.16,5.82c-.34.22-.8.31-1.31.27-.52-.04-1.01-.22-1.39-.49-.37-.27-.6-.62-.62-.96Z"/>
+    </g>
+    <g>
+      <path d="m1262.85,42c.45,0,.9.02,1.36.05,6.33.44,11.4,3.82,11.27,7.64-.12,3.67-4.94,6.45-11,6.45-.49,0-.99-.02-1.5-.06-6.72-.5-11.7-4.18-11.14-8.08.49-3.5,5.29-6,11.01-6m1.36,12c4.3,0,7.73-1.95,7.86-4.55.13-2.74-3.48-5.18-8.04-5.5-.34-.02-.67-.04-.99-.04-4.11,0-7.53,1.82-7.86,4.33-.35,2.77,3.22,5.37,7.97,5.72.36.03.71.04,1.06.04m-1.36-15c-7.52,0-13.28,3.53-13.99,8.58-.3,2.11.32,4.2,1.81,6.05,2.43,3.02,6.94,5.05,12.08,5.44.57.04,1.15.06,1.72.06,7.93,0,13.82-3.93,14-9.35.19-5.55-5.86-10.16-14.06-10.73-.52-.04-1.05-.05-1.56-.05h0Zm1.36,12c-.28,0-.56-.01-.84-.03-3.37-.25-5.19-1.85-5.21-2.35.05-.39,1.67-1.7,4.88-1.7.26,0,.52,0,.78.03,3.39.24,5.28,1.89,5.25,2.37-.02.33-1.62,1.69-4.86,1.69h0Z"/>
+      <path class="cls-1" d="m1264.2,42.05c-6.31-.43-11.84,2.18-12.37,5.95-.56,3.9,4.42,7.58,11.14,8.08,6.75.5,12.37-2.42,12.5-6.39.13-3.82-4.94-7.2-11.27-7.64Zm-1.05,11.91c-4.75-.35-8.32-2.95-7.97-5.72.35-2.71,4.31-4.61,8.85-4.29,4.56.32,8.17,2.76,8.04,5.5-.14,2.81-4.14,4.86-8.92,4.51Z"/>
+    </g>
+  </g>
+  <g>
+    <g>
+      <polyline class="cls-2" points="262.15 32.3 319.5 2.19 385.44 45.2 356.17 45.2 319.84 26.56 262.15 64.6"/>
+      <polyline class="cls-2" points="262.02 96.81 319.36 126.92 385.31 83.91 356.03 83.91 319.7 102.54 262.02 64.5"/>
+    </g>
+    <circle class="cls-4" cx="258.57" cy="64.55" r="33.69"/>
+    <rect class="cls-4" x="214.5" y="32.84" width="25.81" height="63.08"/>
+  </g>
+  <g>
+    <path class="cls-3" d="m95.6,305.96l-2.86.04c.34-.02.66-.04,1-.06.73-.02,1.33-.02,1.86.01Z"/>
+    <g>
+      <g>
+        <path class="cls-3" d="m75.16,370.08c-.71-9.37-8.64-16.7-18.05-16.7h-.26c-8.59.11-15.97,6.32-17.54,14.75l-.27,1.46-18.8-1.12c-2.81-.16-5.51-1.4-7.2-3.31-1.37-1.55-2.04-3.41-1.92-5.39l1.43-24.19c.3-5.21,4.99-7.41,8.49-8.62,13.66-4.68,23.42-10.16,32.02-15,10.84-6.1,20.26-11.4,33.9-13.22l-.03-2.13c-.02-1.43.52-2.77,1.52-3.79,1-1.02,2.33-1.59,3.75-1.61l3.1-.04,1.26-5.42h.24s-.05-5.13-.05-5.13h-.76s-.07-4.9-.07-4.9l14.94-.2.07,4.91h-.75s.05,5.14.05,5.14h.27s1.31,5.39,1.31,5.39c0,0,3.19-.04,3.19-.04,2.99,0,5.37,2.36,5.39,5.27l.06,4.1c1.25.22,2.52.46,3.81.71,6.16,1.2,15.19,5.53,18.43,7.47l26.82,16.12c4.46.86,8.34,1.74,12.1,2.59l1.4.32c2.22.5,4.38.94,6.45,1.37,16.31,3.36,29.2,6.02,29.51,28.66l.04,3.51c.06,4.79-3.99,8.75-9.03,8.83l-17.25.22-.18-1.5c-1.1-9.06-8.82-15.89-17.98-15.89h-.25c-9.27.13-16.92,7.18-17.78,16.38l-.14,1.5-81.14,1.08-.12-1.58Zm33.72-62.16c-1.33,0-1.58.26-1.58.26,0,0-.22.26-.07,1.5l1.8,15.69q.29,2.43,2.12,2.47s38.77,1.02,38.77,1.02c.59,0,.67-.21.7-.28.12-.31.02-1.05-.77-1.79-12.51-11.72-24.76-17.52-39.7-18.81-.46-.04-.89-.06-1.27-.06Zm-14.22-.31c-.27,0-.55,0-.86.01-.3,0-.58.03-.88.05-15.71.87-28.99,9.5-37.37,16.58-1.32,1.12-1.43,1.83-1.39,1.93.02.04.34.35,1.3.37l40.91.96c.19,0,.38,0,.56,0,1.58,0,2.02-.24,2.15-.38.14-.16.25-.66.14-1.58l-1.82-14.95c-.34-2.82-.34-2.86-1.78-2.97h-.22l-.08-.03c-.2,0-.42-.01-.65-.01Z"/>
+        <path d="m109.2,277.21l.02,1.55h-.74s.09,8.5.09,8.5h.62s1.31,5.38,1.31,5.38l4.53-.06s.04,0,.06,0c1.98,0,3.61,1.6,3.62,3.6l.08,5.51c1.66.28,3.37.59,5.14.94,5.93,1.15,14.88,5.46,17.89,7.26l27.07,16.27c5.1.97,9.37,1.96,13.74,2.95,20.02,4.5,34.32,4.45,34.65,28.42l.04,3.51c.04,3.84-3.28,7.06-7.37,7.13l-15.73.2c-1.19-9.82-9.57-17.37-19.65-17.37-.09,0-.18,0-.27,0-10.21.15-18.5,7.97-19.43,17.91l-78.05,1.04c-.78-10.23-9.34-18.26-19.72-18.26-.09,0-.19,0-.28,0-9.58.12-17.48,7.05-19.17,16.12l-17.32-1.03c-4.08-.24-7.78-3.06-7.54-6.92l1.43-24.19c.22-3.87,3.52-5.8,7.36-7.13,31.46-10.77,41.91-25.5,67.07-28.33l-.04-3.63c-.02-2.02,1.59-3.68,3.61-3.7l4.07-.06h.35l1.27-5.43h.59s-.09-8.49-.09-8.49h-.76s-.02-1.54-.02-1.54l11.57-.16m-12.29,51.99c2.72,0,4.35-.59,3.95-3.84l-1.82-14.95c-.36-2.97-.49-4.22-3.38-4.45-.02,0-.03,0-.07-.01-.29-.02-.6-.03-.95-.03-.28,0-.58,0-.91.02-.34.01-.66.03-1,.06-13.94.77-27.28,7.68-38.29,16.96-3.27,2.77-2.21,5.18.94,5.27l40.92.96c.21,0,.4,0,.6,0m53.04,1.34c2.64,0,3.24-2.92,1.04-4.98-12.24-11.46-24.86-17.89-40.71-19.26-.52-.04-.99-.07-1.42-.07-2.81,0-3.63.98-3.32,3.64l1.8,15.69c.32,2.77.63,3.89,3.75,3.96l38.76,1.02s.06,0,.09,0m-37.44-56.73l-3.36.05-11.57.16-3.36.05.05,3.36.02,1.55.05,3.36h.75s.02,2.26.02,2.26l-.48,2.04-.67,2.87-1.79.02c-3.86.04-6.97,3.23-6.92,7.1v.65c-13.15,2.03-22.41,7.24-33.02,13.21-8.54,4.8-18.22,10.25-31.74,14.88-2.29.79-9.23,3.17-9.63,10.11l-1.43,24.19c-.15,2.4.68,4.74,2.34,6.61,2.02,2.27,5.07,3.68,8.37,3.87l17.32,1.03,2.96.18.54-2.92c1.43-7.65,8.12-13.28,15.91-13.38h.24c8.53,0,15.72,6.65,16.37,15.15l.24,3.15,3.16-.04,78.05-1.04,3.02-.04.28-3.01c.78-8.35,7.72-14.74,16.13-14.86h.22c8.3,0,15.31,6.19,16.31,14.41l.36,3,3.02-.04,15.73-.2c5.97-.1,10.76-4.82,10.69-10.53l-.04-3.51c-.33-24-14.47-26.91-30.85-30.29-2.07-.43-4.21-.87-6.42-1.36l-1.34-.3c-3.71-.84-7.53-1.7-11.91-2.55l-26.56-15.96c-3.34-2-12.62-6.44-18.98-7.68-.83-.16-1.65-.32-2.46-.47l-.04-2.73c-.02-3.8-3.16-6.91-6.99-6.91h-.12s-1.84.02-1.84.02l-.68-2.79-.55-2.27-.02-2.1h.75s-.05-3.37-.05-3.37l-.02-1.55-.05-3.36h0Zm-55.15,51.11c8.22-6.79,20.85-14.74,35.57-15.56h.1c.28-.02.54-.04.82-.05.28,0,.55-.01.8-.01.21,0,.4,0,.58.01.08,0,.15.02.23.02.02,0,.04,0,.05,0,.07.4.14.96.19,1.44v.05s1.82,14.95,1.82,14.95c0,.02,0,.04,0,.06-.17,0-.37.02-.62.02-.17,0-.34,0-.51,0l-39.04-.92h0Zm53.46,1.23c-.06-.36-.11-.78-.13-.97l-1.79-15.57c.32,0,.69.02,1.11.05,14.15,1.22,25.83,6.62,37.72,17.47l-36.53-.96c-.14,0-.27,0-.37-.02h0Z"/>
+      </g>
+      <g>
+        <path class="cls-3" d="m57.1,388.76c-9.4,0-17.15-7.65-17.27-17.05-.02-1.34.12-2.68.41-4,1.75-7.85,8.59-13.41,16.64-13.51h.24c8.91,0,16.3,6.68,17.19,15.54.05.46.08.95.08,1.51.06,4.61-1.68,8.98-4.89,12.28-3.22,3.31-7.53,5.17-12.15,5.23h-.24Zm-.08-23.68c-2.62.04-4.93,1.63-5.88,4.07-.3.77-.45,1.58-.44,2.42.05,3.49,2.92,6.32,6.41,6.32,3.62-.05,6.46-2.96,6.41-6.49,0-.52-.07-1.03-.2-1.52-.73-2.83-3.28-4.8-6.2-4.8h-.09Z"/>
+        <path d="m57.11,355.88c8.05,0,14.72,6.13,15.51,14.03.05.45.07.9.08,1.36.12,8.61-6.77,15.69-15.38,15.81-.07,0-.14,0-.21,0-8.51,0-15.48-6.85-15.59-15.39-.02-1.24.11-2.45.37-3.61,1.54-6.9,7.65-12.1,15.02-12.2.07,0,.14,0,.21,0m0,23.69s.07,0,.11,0c4.47-.06,8.04-3.73,7.98-8.2,0-.67-.1-1.31-.26-1.92-.9-3.49-4.07-6.06-7.83-6.06-.04,0-.07,0-.11,0-3.39.05-6.27,2.17-7.43,5.14-.37.94-.57,1.97-.55,3.05.06,4.43,3.66,7.98,8.08,7.98m0-27.05h-.26c-8.83.12-16.33,6.22-18.25,14.83-.32,1.44-.47,2.92-.45,4.39.14,10.31,8.64,18.71,18.96,18.71h.26c5.06-.07,9.8-2.11,13.33-5.74,3.53-3.63,5.44-8.42,5.37-13.48,0-.61-.04-1.16-.1-1.68-.97-9.7-9.08-17.03-18.85-17.03h0Zm0,23.69c-2.57,0-4.69-2.09-4.72-4.66,0-.62.1-1.22.32-1.78.7-1.8,2.41-2.98,4.34-3.01h.07c2.15,0,4.03,1.45,4.57,3.54.09.36.14.74.15,1.12.04,2.61-2.06,4.75-4.66,4.79h-.07Z"/>
+      </g>
+      <g>
+        <path class="cls-3" d="m174.58,388.06c-9.4,0-17.15-7.65-17.27-17.04-.01-.78.03-1.58.13-2.38,1.06-8.52,8.33-15.02,16.92-15.14h.24c8.47,0,15.81,6.31,17.08,14.67.12.8.18,1.6.19,2.38.06,4.61-1.68,8.98-4.89,12.28-3.22,3.31-7.53,5.16-12.15,5.22h-.24Zm-.08-23.68c-2.88.04-5.39,2.01-6.12,4.79-.14.55-.21,1.12-.2,1.71.05,3.49,2.92,6.32,6.41,6.32,3.62-.05,6.46-2.96,6.41-6.49,0-.58-.09-1.15-.25-1.7-.79-2.72-3.32-4.62-6.15-4.62h-.09Z"/>
+        <path d="m174.59,355.19c7.79,0,14.28,5.73,15.41,13.24.1.7.17,1.42.18,2.15.12,8.61-6.77,15.69-15.38,15.8-.07,0-.14,0-.21,0-8.52,0-15.48-6.84-15.59-15.38,0-.73.03-1.45.12-2.15.95-7.61,7.38-13.55,15.27-13.66.07,0,.14,0,.21,0m0,23.69s.07,0,.11,0c4.47-.06,8.04-3.73,7.98-8.2-.01-.74-.12-1.46-.32-2.15-.98-3.38-4.09-5.83-7.77-5.83-.04,0-.07,0-.11,0-3.73.05-6.83,2.61-7.72,6.04-.18.69-.27,1.41-.26,2.15.06,4.43,3.67,7.98,8.09,7.98m0-27.05h-.26c-9.42.13-17.4,7.27-18.56,16.61-.11.89-.15,1.76-.14,2.61.14,10.31,8.64,18.7,18.95,18.7h.26c5.06-.07,9.8-2.11,13.33-5.73,3.53-3.63,5.44-8.41,5.37-13.48-.01-.85-.08-1.72-.21-2.59-1.39-9.19-9.44-16.11-18.74-16.11h0Zm0,23.69c-2.57,0-4.69-2.09-4.73-4.66,0-.43.05-.85.15-1.26.54-2.05,2.39-3.5,4.52-3.53h.07c2.09,0,3.96,1.4,4.54,3.41.12.4.18.82.18,1.25.04,2.61-2.06,4.75-4.66,4.79h-.07Z"/>
+      </g>
+    </g>
+  </g>
+</svg>
\ No newline at end of file
diff --git a/pyproject.toml b/pyproject.toml
index 7b47374f3..53d351864 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -1,6 +1,6 @@
 [project]
 name = "scenic"
-version = "3.0.0rc1"
+version = "3.0.0"
 description = "The Scenic scenario description language."
 authors = [
 	{ name = "Daniel Fremont" },
@@ -84,6 +84,7 @@ dev = [
 ]
 
 [project.urls]
+Homepage = "https://scenic-lang.org/"
 Repository = "https://github.com/BerkeleyLearnVerify/Scenic"
 Documentation = "https://scenic-lang.readthedocs.io"