diff --git a/admin/site/themes/afp/assets/sass/main.scss b/admin/site/themes/afp/assets/sass/main.scss
--- a/admin/site/themes/afp/assets/sass/main.scss
+++ b/admin/site/themes/afp/assets/sass/main.scss
@@ -1,1169 +1,1169 @@
 //colors
 $theme: hsl(242, 27%, 24%);
 $theme-hover: hsl(241, 26%, 36%);
 $theme-lightest: hsl(261, 36%, 86%);
 $theme-focus: #acabcf;
 $link: #0645ad;
 $link-hover: #0000ee;
 $link-visited: #42047c;
 $white: #fff;
 $lightest-grey: #f2f2f2;
 $lighter-grey: #ddd;
 $light-grey: #bbb;
 $dark-grey: #777;
 $darker-grey: #555;
 $darkest-grey: #303030;
 $black: #000;
 $black_15: rgba(0, 0, 0, 0.15);
 
 //fonts
 $sans-serif: "Open Sans", sans-serif;
 $monospace: "Consolas", monospace;
 $OpenSans: "Open Sans";
 
 $light: 300;
 $normal: 400;
 $bold: 700;
 
 $border-bottom: 2px $darker-grey solid;
 
 //sizes
 $size-xs: 650px; // for example mobile
 $size-s: 875px; // for example half desktop window
 $size-xl: 1800px; // for example 4k desktop
 
 %code {
   font-family: $monospace;
   background-color: $lightest-grey;
   color: $darkest-grey;
 }
 
 %button {
   border: 1px solid $dark-grey;
   font-size: 1rem;
   vertical-align: middle;
   background-color: $white;
   color: $black;
   line-height: 0;
   font-family: $sans-serif;
 }
 
 %button-image {
   position: relative;
   top: 0.12em;
   left: 5px;
   padding-right: 5px;
 }
 
 %sticky {
   position: sticky;
   top: 0;
   background-color: $white;
   margin: 0;
   padding-bottom: 0.5rem;
 }
 
 @font-face {
   font-family: $OpenSans;
   font-display: swap;
   font-style: normal;
   font-weight: 300;
   src: local(""), url("/font/open-sans-v18-latin-300.woff2") format("woff2"),
   url("/font/open-sans-v18-latin-300.woff") format("woff");
 }
 
 @font-face {
   font-family: $OpenSans;
   font-display: swap;
   font-style: normal;
   font-weight: 400;
   src: local(""), url("/font/open-sans-v18-latin-regular.woff2") format("woff2"),
   url("/font/open-sans-v18-latin-regular.woff") format("woff");
 }
 
 @font-face {
   font-family: $OpenSans;
   font-display: swap;
   font-style: italic;
   font-weight: 400;
   src: local(""), url("/font/open-sans-v18-latin-italic.woff2") format("woff2"),
   url("/font/open-sans-v18-latin-italic.woff") format("woff");
 }
 
 @font-face {
   font-family: $OpenSans;
   font-display: swap;
   font-style: normal;
   font-weight: 700;
   src: local(""), url("/font/open-sans-v18-latin-700.woff2") format("woff2"),
   url("/font/open-sans-v18-latin-700.woff") format("woff");
 }
 
 @font-face {
   font-family: $OpenSans;
   font-display: swap;
   font-style: italic;
   font-weight: 700;
   src: local(""), url("/font/open-sans-v18-latin-700italic.woff2") format("woff2"),
   url("/font/open-sans-v18-latin-700italic.woff") format("woff");
 }
 
 *::selection {
   background-color: $theme;
   color: $white;
 }
 
 body {
   color: $black;
   background: $white;
   font-family: $sans-serif;
   display: grid;
   grid-template-columns: #{"max(20%, 200px)"} 1fr;
   grid-template-areas: "sidebar content";
   justify-items: center;
   margin: 0;
 }
 
 aside {
   grid-area: sidebar;
   background-color: $theme;
   width: 20vw;
   margin: 0;
   height: 100%;
   position: fixed;
   top: 0;
   left: 0;
   min-width: 200px;
   word-break: break-all;
   overflow-y: auto;
   color: $white;
 
   nav {
     display: flex;
     flex-direction: column;
     justify-content: space-between;
     height: 100vh;
   }
 
   ul {
     list-style: none;
     padding: 0;
   }
 
   li {
     padding: 0.5em 2rem;
 
     &:hover {
       background-color: $theme-hover;
     }
   }
 
   .active {
     background-color: $theme-hover;
   }
 
   div > a {
     display: block;
     text-align: center;
   }
 
   a:not(.entity_ref) {
     &.link,
     &:link,
     &:visited {
       color: $white;
     }
 
     &:focus {
       outline: 1px $theme-focus solid;
       outline-offset: 3.5px;
     }
   }
 
   hr {
     margin: 2rem;
     border: none;
     border-top: 2px solid $dark-grey;
   }
 }
 
 .logo {
   width: 40%;
   height: auto;
   padding: 10%;
   max-width: 160px;
 }
 
 li {
   margin: 0.25em 0;
 }
 
 header {
   border-bottom: $border-bottom;
   margin-bottom: 20px;
   padding: 0.5rem 0;
 
   > div {
     display: flex;
     justify-content: space-between;
     padding: 0.5rem 0;
   }
 
   form {
     padding: 0.5rem 0;
     float: right;
   }
 
   h1 {
     padding: 0.5rem 0;
     margin: 0;
     clear: both;
     line-height: 2.75rem;
   }
 
   #search-input {
     height: 2rem;
     padding: 7px;
     width: 175px;
   }
 
   #search-button {
     height: 2rem;
     padding: 7px;
     width: 2rem;
 
     &:hover {
       background-color: $lighter-grey;
     }
 
     &:active {
       background-color: $light-grey;
     }
   }
 
   div p {
     margin: 0;
   }
 }
 
 .content {
   grid-area: content;
   margin: 0 auto 2rem;
   width: #{"min(80%, 1100px)"};
   min-width: 550px;
 
   div {
     line-height: 1.35em;
     width: 100%;
 
     h1 {
       border-bottom: $border-bottom;
     }
   }
 
   > div {
     form {
       margin: 2rem auto 0;
       width: 50%;
       min-width: 290px;
       padding: 1rem 0;
     }
 
     #search-button {
       height: 2.5rem;
       width: 25%;
       min-width: 70px;
       background: $theme;
       color: $white;
       border: 1px $theme solid;
     }
 
     #search-input {
       height: 2.5rem;
       width: 75%;
     }
   }
 
   .popup {
     background: $white;
     box-shadow: 0 0 8px 0 $black_15, 0 4px 10px 0 $black_15;
     padding: 2.5rem;
     display: block;
     width: auto;
     min-width: 300px;
     max-width: 90vw;
     max-height: 75vh;
     position: fixed;
     left: 50%;
     top: 50%;
     transform: translate(-50%, -50%);
     overflow-y: auto;
   }
 
   .chart {
     min-width: 400px;
     width: 100%;
     min-height: 400px;
     max-height: 50vh;
     background: $white;
     margin: 20px auto 40px;
     border: 1px solid $black;
     position: relative;
   }
 
   .statsnumber {
     text-align: right;
     padding-right: 1rem;
   }
 
   ul {
     list-style-type: none;
   }
 
   li {
     word-wrap: break-word;
     word-break: break-word;
   }
 
   dt {
     font-weight: $light;
     margin-top: 0.5em;
   }
 
   ul > li::before {
     content: "–";
     position: absolute;
     margin-left: -1.3em;
   }
 }
 
 .entries {
   > div {
     display: grid;
     grid-template-columns: 3fr 1fr;
   }
 
   main {
     padding-right: 2%;
     max-width: 90ch;
 
     div {
       margin: 1rem 0;
     }
   }
 
   nav {
     width: 130px;
     margin-left: auto;
 
     h4 {
       color: $darker-grey;
       font-weight: $normal;
     }
   }
 }
 
 .theories {
   grid-template-columns: 20% 80%;
   justify-content: normal;
 
   .collapsible.collapsed {
     display: none;
   }
 
   .invertible.collapsed {
     transform: scale(1, -1);
   }
 
   .collapse-container.collapsed {
     .collapsible {
       display: none;
     }
 
     .invertible {
       transform: scale(1, -1);
     }
   }
 
   .content {
     min-width: clamp(60ch, 50vw, 50vw);
     width: 100%;
     max-width: 75vw;
     margin: 0 0 2rem 4vw;
   }
 
   pre {
     width: fit-content;
   }
 
   h2 {
     @extend %sticky;
     padding-top: 0.5rem;
     border-bottom: 1px $light-grey solid;
 
     svg {
       height: 2rem;
       width: 20px;
       position: sticky;
       right: 1rem;
       float: right;
       stroke: $dark-grey;
       transition: transform 100ms;
     }
   }
 
   main {
     > div {
       margin-bottom: 1rem;
     }
   }
 
   aside {
     word-break: normal;
     z-index: 1;
     overflow-x: hidden;
 
     .logo {
       padding-top: 2rem;
       padding-bottom: 2rem;
       width: 100px;
 
       @media screen and (min-width: $size-xl) {
         width: 150px;
       }
     }
 
     #return {
       position: sticky;
       top: 0rem;
       background: #2E2D4E;
       min-width: 200px;
     }
 
     #pdfs {
       position: fixed;
       bottom: 0;
       background: #2E2D4E;
       margin: 0;
       padding: 1rem 1.75rem;
       width: 20vw;
       box-sizing: border-box;
       cursor: pointer;
     }
 
     > div {
       margin-right: 1rem;
     }
 
     &:hover {
       min-width: fit-content;
 
       div {
         min-width: fit-content;
       }
     }
 
     ul {
       margin-left: 1.75rem;
     }
 
     li {
       padding: 0;
 
       &:hover {
         background-color: $theme;
       }
 
       > a:hover {
         background-color: $theme-hover;
       }
 
       a {
         padding: 0.5em 0;
         display: inline-block;
         width: 100%;
       }
     }
   }
 
   @media screen and (max-width: $size-s) {
     padding: 0;
     grid-template-columns: 1fr;
 
     aside {
       overflow-x: visible;
     }
 
     #menu {
       min-width: fit-content;
       padding-right: 1rem;
     }
 
     .content {
       min-width: 350px;
       max-width: 100vw;
       margin: 80px 0 0 20px;
     }
 
     h2 {
       top: 80px;
       padding-left: 0.5rem;
     }
   }
 }
 
 .links {
   button {
     display: inline-block;
     margin: 0.5rem 0;
   }
 
   a {
     display: inline-block;
     margin: 0.5rem 0;
   }
 }
 
 .popup-button:not(.entity_ref) {
   &:visited {
     color: $white;
   }
 
   &.link,
   &:link {
     border: none;
     padding: 0.75rem 0;
     background-color: $theme;
     color: $white;
     cursor: pointer;
     text-align: center;
     transition: background-color 200ms ease, transform 150ms ease;
     font-weight: $bold;
     font-size: 0.9rem;
     width: 130px;
   }
 
   &:active {
     transform: scale(0.98);
   }
 }
 
 a:not(.entity_ref) {
   &.link,
   &:link {
     color: $link;
     text-decoration: none;
     font-weight: $bold;
   }
 
   &:visited {
     color: $link-visited;
   }
 
   &:hover {
     color: $link-hover;
   }
 }
 
 h1 {
   margin: 1.5em 0 0 0;
   font-size: 2em;
   padding-bottom: 20px;
 
   span.first {
     font-size: 2.3rem;
   }
 }
 
 h2 {
   margin: 1.5em 0 0 0;
   padding: 0;
   line-height: normal;
 }
 
 h3 {
   margin: 1.5em 0 0 0;
   font-stretch: normal;
   font-size: larger;
   padding: 0;
   font-weight: $light;
 
   &:first-child {
     margin: 0.5rem 0 0 0;
   }
 }
 
 h4 {
   margin: 1.5em 0 0 0;
   margin-bottom: 0.5ex;
   font-weight: $bold;
 }
 
 .popup {
   h2 {
     margin-top: 0;
   }
 
   .close {
     position: absolute;
     width: 20px;
     height: 20px;
     top: 2rem;
     right: 2rem;
     transition: all 200ms;
     font-size: 24px;
     font-weight: $bold;
     color: $darker-grey;
     text-align: center;
 
     &:hover {
       color: $darkest-grey;
     }
   }
 }
 
 #download-popup {
   a[download] {
     display: block;
     width: 154px;
     margin: 2.5rem auto 0;
   }
 }
 
 .year {
   @extend %sticky;
   padding-top: 2rem;
   border-bottom: $border-bottom;
 }
 
 img {
   max-width: 90%;
 }
 
 pre {
   @extend %code;
   padding: 1rem;
   overflow: auto;
 
   &.bibtex {
     white-space: pre;
     border-width: thin;
     border-style: solid;
   }
 
   &.code {
     white-space: pre;
     padding: 10px 2px;
   }
 }
 
 code {
   padding: 1px 2px 2px;
   @extend %code;
 }
 
 blockquote {
   border: 2px solid $lighter-grey;
   padding: 1rem 2rem;
   margin: auto 0;
 }
 
 tr:nth-child(even) {
   background-color: $lightest-grey;
 }
 
 .nobr {
   white-space: nowrap;
 }
 
 .large-top-margin {
   margin-top: 48px;
 }
 
 .search-page {
   > div {
     display: grid;
     grid-template-columns: 3fr #{"max(25%, 175px)"};
     grid-template-rows: 150px 1fr;
     grid-template-areas:
       "search search"
       "entries sidebar";
   }
 
   form {
     grid-area: search;
   }
 
   #search-main {
     grid-area: entries;
     padding-right: 2rem;
     box-sizing: border-box;
   }
 
   #search-results {
     > div {
       position: relative;
       margin: 1.5rem 0;
       border-bottom: 2px $lighter-grey solid;
       padding-bottom: 1.5rem;
     }
 
     div + div {
       margin-top: 1rem;
     }
 
     .title,
     .subtitle {
       display: flex;
       justify-content: space-between;
       align-items: center;
     }
 
     .subtitle {
       color: $dark-grey;
       font-size: 0.875em;
 
       > p {
         margin: 0;
       }
     }
 
     a[download] {
       padding: 5px 7.5px;
       flex-shrink: 0;
       margin-left: 1em;
     }
   }
 
   #search-sidebar {
     grid-area: sidebar;
   }
 }
 
 a[download] {
   display: inline-block;
   color: $black;
   height: 22px;
   padding: 4px 7px;
   @extend %button;
 
   &:focus {
     outline: none;
     box-shadow: 0 0 0 2px #c5c4ddbb;
   }
 
   &:hover,
   &:active {
     background-color: $light-grey;
     color: $black;
   }
 
   &:after {
     content: url("/images/download.svg");
     @extend %button-image;
   }
 }
 
 .entry {
   display: flex;
   align-items: center;
   margin-top: 1.35rem;
 
   a[download] {
     position: absolute;
     top: 0;
     right: 0;
   }
 
   .date {
     text-align: right;
     width: 15%;
     min-width: 6ch;
     font-family: $monospace;
   }
 
   h5 {
     font-size: initial;
     display: initial;
   }
 }
 
 .form-container {
   width: 290px;
   text-align: left;
 }
 
 #search-input {
   @extend %button;
   border-right: none;
   font-family: $sans-serif;
   padding: 0.5em;
 }
 
 #search-button:not(.entity_ref) {
   @extend %button;
   cursor: pointer;
 
   &:focus {
     outline: none;
     box-shadow: 0 0 0 2px #c5c4ddbb;
   }
 
   img {
     max-width: 1rem;
   }
 }
 
 .entity_def.active {
   background-color: $theme-focus;
 }
 
 button {
   @extend %button;
   height: 2rem;
   padding: 7px;
   font-weight: $bold;
   cursor: pointer;
 
   &:hover {
     background-color: $lighter-grey;
   }
 
   &:active {
     background-color: $light-grey;
   }
 
   &:focus {
     outline: none;
     box-shadow: 0 0 0 2px #c5c4ddbb;
   }
 }
 
 button[copy] {
   &:after {
     content: url("/images/copy.svg");
     @extend %button-image;
   }
 }
 
 #search-input-autocomplete-list {
   width: 214px;
   position: absolute;
   margin-bottom: 24px;
   padding: 8px 0;
   background-color: $white;
   border: 1px solid $lighter-grey;
   box-shadow: 0 2px 4px $black_15;
   z-index: 1;
 
   div {
     width: auto;
     padding: 8px 12px;
     line-height: 16px;
     cursor: pointer;
 
     &:hover {
       background: $lighter-grey;
     }
   }
 }
 
 .autocomplete-active {
   background: $lighter-grey;
 }
 
 .item-text {
   width: 85%;
 }
 
 .date {
   color: $darker-grey;
   font-size: 14px;
 }
 
 .overlay {
   position: fixed;
   top: 0;
   bottom: 0;
   left: 0;
   right: 0;
   background: $black_15;
   transition: opacity 200ms;
   visibility: hidden;
   opacity: 0;
 
   .cancel {
     position: absolute;
     width: 100%;
     height: 100%;
     cursor: pointer;
   }
 
   &:target {
     visibility: visible;
     opacity: 1;
   }
 }
 
 .status-ok {
-  background-color: #00FF99;
+  background-color: #DDFFDD;
   padding: 8px;
 }
 
 .status-skipped {
   background-color: #FFFF99;
   padding: 8px;
 }
 
 .status-failed {
-  background-color: #DD2222;
+  background-color: #FFDDDD;
   padding: 8px;
 }
 
 iframe {
   width: 100%;
   height: 90vh;
 }
 
 .loader {
   margin: 24px 24px 0 0;
   height: 6px;
   position: relative;
   display: block;
   background-color: $theme;
   border-radius: 4px;
   overflow: hidden;
 
   .animation {
     background-color: $light-grey;
 
     &:before {
       content: '';
       position: absolute;
       background-color: inherit;
       top: 0;
       left: 0;
       bottom: 0;
       will-change: left, right;
       animation: loader 2s linear infinite;
     }
   }
 }
 
 .obfuscated {
   -webkit-user-select: none;
   -moz-user-select: none;
   -ms-user-select: none;
   user-select: none;
 }
 
 .rev {
   unicode-bidi: bidi-override;
   direction: rtl;
 }
 
 @keyframes loader {
   0% {
     left: -20%;
     right: 100%;
   }
   100% {
     left: 100%;
     right: -20%;
   }
 }
 
 #menu-toggle {
   input,
   label {
     display: none;
   }
 
   > .logo-link, img[alt="Search"] {
     display: none;
   }
 
   form {
     display: none;
   }
 }
 
 @media screen and (max-width: $size-xs) {
   .content {
     width: 90%;
     min-width: 350px;
   }
 
   .search-page {
     > div {
       display: grid;
       grid-template-columns: 1fr;
       grid-template-rows: 150px auto auto;
       grid-template-areas:
         'search'
         'sidebar'
         'entries';
     }
   }
 }
 
 @media screen and (min-width: $size-s) {
   ul.horizontal-list {
     display: flex;
     flex-flow: wrap;
     padding-left: 0;
 
     li {
       margin-right: 16px;
     }
 
     li::before {
       content: none;
     }
   }
 }
 
 @media screen and (max-width: $size-s) {
   body {
     grid-template-columns: 1fr;
     grid-template-areas: 'content';
   }
 
   aside {
     height: 80px;
     width: 100vw;
     overflow-y: visible;
     z-index: 1;
   }
 
   header {
     form {
       display: none;
     }
   }
 
   .content {
     margin-top: 80px;
   }
 
   .entries {
     > div {
       display: grid;
       grid-template-rows: auto auto;
       grid-template-columns: 1fr;
     }
 
     nav {
       margin-left: 0;
     }
   }
 
 
   .large-top-margin {
     margin-top: 0;
   }
 
   #banner {
     left: 0;
     width: 100vw;
     height: 75px;
 
     p {
       line-height: normal;
       margin: 1rem;
     }
   }
 
   #menu-toggle {
     background: $theme;
     display: block;
     position: relative;
     top: 0;
     left: 0;
     z-index: 1;
     height: 80px;
     user-select: none;
     width: 100vw;
 
     a {
       text-decoration: none;
       transition: color 0.3s ease;
     }
 
     .logo-link {
       height: 3rem;
       max-width: 50vw;
       top: 1rem;
       left: 0;
       right: 0;
       margin-left: auto;
       margin-right: auto;
 
       img {
         padding: 0;
         height: 3rem;
         object-fit: contain;
       }
     }
 
     .logo-link, input, label, a[href="/search"] {
       display: block;
       position: absolute;
       z-index: 2;
     }
 
     input, label, a[href="/search"] {
       width: 24px;
       height: 24px;
       top: 28px;
     }
 
     input, label {
       left: 28px;
       cursor: pointer;
     }
 
     a[href="/search"] {
       right: 28px;
       filter: invert(1);
     }
 
     a[href="/search"] img, label img {
       width: 100%;
     }
 
     input {
       opacity: 0;
 
       &:checked {
         ~ nav {
           left: 0;
         }
       }
     }
 
     label span {
       display: none;
     }
   }
   #menu {
     box-shadow: 0 .5rem 1rem rgba(0, 0, 0, .15);
     height: calc(100vh - 80px);
     position: absolute;
     top: 0;
     margin-top: 80px;
     box-sizing: border-box;
     min-width: 200px;
     width: 50vw;
     max-width: 350px;
     min-height: 355px;
     background: $theme;
     left: -100%;
     transition: left 0.3s ease;
     overflow-y: scroll;
 
     .logo-link {
       display: none;
     }
   }
 }
diff --git a/admin/site/themes/afp/layouts/partials/header.html b/admin/site/themes/afp/layouts/partials/header.html
--- a/admin/site/themes/afp/layouts/partials/header.html
+++ b/admin/site/themes/afp/layouts/partials/header.html
@@ -1,38 +1,38 @@
 <header>
   {{ if and (ne .Kind "home") (ne .File.BaseFileName "search") -}}
   <form autocomplete="off" action="{{ "search" | absURL }}">
     <div class='form-container'>
       <input id="search-input" type="search" size="31" maxlength="255" value="" aria-label="Search the AFP" list="autocomplete"><button
       id="search-button" type="button"><img src="{{- .Site.BaseURL -}}images/search.svg" alt="Search" /></button>
       <datalist id="autocomplete">
       </datalist>
     </div>
   </form>
   {{ end -}}
   {{ .Scratch.Set "title" (default .Site.Title (default .Title .Params.name)) }}
   {{- if and (eq .Section "authors") (isset .Site.Data.authors (.Scratch.Get "title")) -}}
     {{- .Scratch.Set "title" (index (index .Site.Data.authors (.Scratch.Get "title")) "name") -}}
   {{- end -}}
   <h1 {{ if or (eq .Kind "home" ) (eq .File.BaseFileName "search" ) -}}class="large-top-margin" {{ end -}}>
     {{ title (.Scratch.Get "title") | replaceRE "[A-Z]" "<span class='first'>$0</span>" | safeHTML -}}
-    {{- if (eq .Section "dependencies") }} Dependents{{ end -}}
+    {{- if and (eq .Section "dependencies") (eq .Kind "term") }} Dependents{{ end -}}
   </h1>
   <div>
     {{ if (eq .Section "authors") -}}
     {{ with (index $.Site.Data.authors .Title )}}
     {{ with .website}}
     <p><a href="{{ . }}">{{ . }}</a></p>
     {{- end -}}{{- end -}}{{- end -}}
     {{- $site := . -}}
     {{ with .Params.authors}}
     <p>{{- partial "authors.html" (dict "site" $site "authors" . "affiliations" $site.Params.affiliations) -}}
       {{ with $site.Params.contributors }}
       with contributions from {{ partial "authors.html" (dict "site" $site "authors" . "affiliations" $site.Params.affiliations) -}}
       {{ end }}
     </p>
     {{ end }}
     {{ with .Params.date }}
     <p class="date">{{- dateFormat "January 2, 2006" . -}}</p>
     {{ end }}
   </div>
 </header>
\ No newline at end of file
diff --git a/web/css/front.min.css b/web/css/front.min.css
--- a/web/css/front.min.css
+++ b/web/css/front.min.css
@@ -1,1 +1,1 @@
-@charset "UTF-8";code,pre{font-family:consolas,monospace;background-color:#f2f2f2;color:#303030}button,#search-button:not(.entity_ref),#search-input,a[download]{border:1px solid #777;font-size:1rem;vertical-align:middle;background-color:#fff;color:#000;line-height:0;font-family:open sans,sans-serif}button[copy]:after,a[download]:after{position:relative;top:.12em;left:5px;padding-right:5px}.year,.theories h2{position:sticky;top:0;background-color:#fff;margin:0;padding-bottom:.5rem}@font-face{font-family:open sans;font-display:swap;font-style:normal;font-weight:300;src:local(""),url(/font/open-sans-v18-latin-300.woff2)format("woff2"),url(/font/open-sans-v18-latin-300.woff)format("woff")}@font-face{font-family:open sans;font-display:swap;font-style:normal;font-weight:400;src:local(""),url(/font/open-sans-v18-latin-regular.woff2)format("woff2"),url(/font/open-sans-v18-latin-regular.woff)format("woff")}@font-face{font-family:open sans;font-display:swap;font-style:italic;font-weight:400;src:local(""),url(/font/open-sans-v18-latin-italic.woff2)format("woff2"),url(/font/open-sans-v18-latin-italic.woff)format("woff")}@font-face{font-family:open sans;font-display:swap;font-style:normal;font-weight:700;src:local(""),url(/font/open-sans-v18-latin-700.woff2)format("woff2"),url(/font/open-sans-v18-latin-700.woff)format("woff")}@font-face{font-family:open sans;font-display:swap;font-style:italic;font-weight:700;src:local(""),url(/font/open-sans-v18-latin-700italic.woff2)format("woff2"),url(/font/open-sans-v18-latin-700italic.woff)format("woff")}*::selection{background-color:#2e2d4e;color:#fff}body{color:#000;background:#fff;font-family:open sans,sans-serif;display:grid;grid-template-columns:max(20%,200px)1fr;grid-template-areas:"sidebar content";justify-items:center;margin:0}aside{grid-area:sidebar;background-color:#2e2d4e;width:20vw;margin:0;height:100%;position:fixed;top:0;left:0;min-width:200px;word-break:break-all;overflow-y:auto;color:#fff}aside nav{display:flex;flex-direction:column;justify-content:space-between;height:100vh}aside ul{list-style:none;padding:0}aside li{padding:.5em 2rem}aside li:hover{background-color:#454474}aside .active{background-color:#454474}aside div>a{display:block;text-align:center}aside a:not(.entity_ref).link,aside a:not(.entity_ref):link,aside a:not(.entity_ref):visited{color:#fff}aside a:not(.entity_ref):focus{outline:1px #acabcf solid;outline-offset:3.5px}aside hr{margin:2rem;border:none;border-top:2px solid #777}.logo{width:40%;height:auto;padding:10%;max-width:160px}li{margin:.25em 0}header{border-bottom:2px #555 solid;margin-bottom:20px;padding:.5rem 0}header>div{display:flex;justify-content:space-between;padding:.5rem 0}header form{padding:.5rem 0;float:right}header h1{padding:.5rem 0;margin:0;clear:both;line-height:2.75rem}header #search-input{height:2rem;padding:7px;width:175px}header #search-button{height:2rem;padding:7px;width:2rem}header #search-button:hover{background-color:#ddd}header #search-button:active{background-color:#bbb}header div p{margin:0}.content{grid-area:content;margin:0 auto 2rem;width:min(80%,1100px);min-width:550px}.content div{line-height:1.35em;width:100%}.content div h1{border-bottom:2px #555 solid}.content>div form{margin:2rem auto 0;width:50%;min-width:290px;padding:1rem 0}.content>div #search-button{height:2.5rem;width:25%;min-width:70px;background:#2e2d4e;color:#fff;border:1px #2e2d4e solid}.content>div #search-input{height:2.5rem;width:75%}.content .popup{background:#fff;box-shadow:0 0 8px rgba(0,0,0,.15),0 4px 10px rgba(0,0,0,.15);padding:2.5rem;display:block;width:auto;min-width:300px;max-width:90vw;max-height:75vh;position:fixed;left:50%;top:50%;transform:translate(-50%,-50%);overflow-y:auto}.content .chart{min-width:400px;width:100%;min-height:400px;max-height:50vh;background:#fff;margin:20px auto 40px;border:1px solid #000;position:relative}.content .statsnumber{text-align:right;padding-right:1rem}.content ul{list-style-type:none}.content li{word-wrap:break-word;word-break:break-word}.content dt{font-weight:300;margin-top:.5em}.content ul>li::before{content:"–";position:absolute;margin-left:-1.3em}.entries>div{display:grid;grid-template-columns:3fr 1fr}.entries main{padding-right:2%;max-width:90ch}.entries main div{margin:1rem 0}.entries nav{width:130px;margin-left:auto}.entries nav h4{color:#555;font-weight:400}.theories{grid-template-columns:20% 80%;justify-content:normal}.theories .collapsible.collapsed{display:none}.theories .invertible.collapsed{transform:scale(1,-1)}.theories .collapse-container.collapsed .collapsible{display:none}.theories .collapse-container.collapsed .invertible{transform:scale(1,-1)}.theories .content{min-width:clamp(60ch,50vw,50vw);width:100%;max-width:75vw;margin:0 0 2rem 4vw}.theories pre{width:fit-content}.theories h2{padding-top:.5rem;border-bottom:1px #bbb solid}.theories h2 svg{height:2rem;width:20px;position:sticky;right:1rem;float:right;stroke:#777;transition:transform 100ms}.theories main>div{margin-bottom:1rem}.theories aside{word-break:normal;z-index:1;overflow-x:hidden}.theories aside .logo{padding-top:2rem;padding-bottom:2rem;width:100px}@media screen and (min-width:1800px){.theories aside .logo{width:150px}}.theories aside #return{position:sticky;top:0;background:#2e2d4e;min-width:200px}.theories aside #pdfs{position:fixed;bottom:0;background:#2e2d4e;margin:0;padding:1rem 1.75rem;width:20vw;box-sizing:border-box;cursor:pointer}.theories aside>div{margin-right:1rem}.theories aside:hover{min-width:fit-content}.theories aside:hover div{min-width:fit-content}.theories aside ul{margin-left:1.75rem}.theories aside li{padding:0}.theories aside li:hover{background-color:#2e2d4e}.theories aside li>a:hover{background-color:#454474}.theories aside li a{padding:.5em 0;display:inline-block;width:100%}@media screen and (max-width:875px){.theories{padding:0;grid-template-columns:1fr}.theories aside{overflow-x:visible}.theories #menu{min-width:fit-content;padding-right:1rem}.theories .content{min-width:350px;max-width:100vw;margin:80px 0 0 20px}.theories h2{top:80px;padding-left:.5rem}}.links button{display:inline-block;margin:.5rem 0}.links a{display:inline-block;margin:.5rem 0}.popup-button:not(.entity_ref):visited{color:#fff}.popup-button:not(.entity_ref).link,.popup-button:not(.entity_ref):link{border:none;padding:.75rem 0;background-color:#2e2d4e;color:#fff;cursor:pointer;text-align:center;transition:background-color 200ms ease,transform 150ms ease;font-weight:700;font-size:.9rem;width:130px}.popup-button:not(.entity_ref):active{transform:scale(.98)}a:not(.entity_ref).link,a:not(.entity_ref):link{color:#0645ad;text-decoration:none;font-weight:700}a:not(.entity_ref):visited{color:#42047c}a:not(.entity_ref):hover{color:#00e}h1{margin:1.5em 0 0;font-size:2em;padding-bottom:20px}h1 span.first{font-size:2.3rem}h2{margin:1.5em 0 0;padding:0;line-height:normal}h3{margin:1.5em 0 0;font-stretch:normal;font-size:larger;padding:0;font-weight:300}h3:first-child{margin:.5rem 0 0}h4{margin:1.5em 0 0;margin-bottom:.5ex;font-weight:700}.popup h2{margin-top:0}.popup .close{position:absolute;width:20px;height:20px;top:2rem;right:2rem;transition:all 200ms;font-size:24px;font-weight:700;color:#555;text-align:center}.popup .close:hover{color:#303030}#download-popup a[download]{display:block;width:154px;margin:2.5rem auto 0}.year{padding-top:2rem;border-bottom:2px #555 solid}img{max-width:90%}pre{padding:1rem;overflow:auto}pre.bibtex{white-space:pre;border-width:thin;border-style:solid}pre.code{white-space:pre;padding:10px 2px}code{padding:1px 2px 2px}blockquote{border:2px solid #ddd;padding:1rem 2rem;margin:auto 0}tr:nth-child(even){background-color:#f2f2f2}.nobr{white-space:nowrap}.large-top-margin{margin-top:48px}.search-page>div{display:grid;grid-template-columns:3fr max(25%,175px);grid-template-rows:150px 1fr;grid-template-areas:"search search" "entries sidebar"}.search-page form{grid-area:search}.search-page #search-main{grid-area:entries;padding-right:2rem;box-sizing:border-box}.search-page #search-results>div{position:relative;margin:1.5rem 0;border-bottom:2px #ddd solid;padding-bottom:1.5rem}.search-page #search-results div+div{margin-top:1rem}.search-page #search-results .title,.search-page #search-results .subtitle{display:flex;justify-content:space-between;align-items:center}.search-page #search-results .subtitle{color:#777;font-size:.875em}.search-page #search-results .subtitle>p{margin:0}.search-page #search-results a[download]{padding:5px 7.5px;flex-shrink:0;margin-left:1em}.search-page #search-sidebar{grid-area:sidebar}a[download]{display:inline-block;color:#000;height:22px;padding:4px 7px}a[download]:focus{outline:none;box-shadow:0 0 0 2px #c5c4ddbb}a[download]:hover,a[download]:active{background-color:#bbb;color:#000}a[download]:after{content:url(/images/download.svg)}.entry{display:flex;align-items:center;margin-top:1.35rem}.entry a[download]{position:absolute;top:0;right:0}.entry .date{text-align:right;width:15%;min-width:6ch;font-family:consolas,monospace}.entry h5{font-size:initial;display:initial}.form-container{width:290px;text-align:left}#search-input{border-right:none;font-family:open sans,sans-serif;padding:.5em}#search-button:not(.entity_ref){cursor:pointer}#search-button:not(.entity_ref):focus{outline:none;box-shadow:0 0 0 2px #c5c4ddbb}#search-button:not(.entity_ref) img{max-width:1rem}.entity_def.active{background-color:#acabcf}button{height:2rem;padding:7px;font-weight:700;cursor:pointer}button:hover{background-color:#ddd}button:active{background-color:#bbb}button:focus{outline:none;box-shadow:0 0 0 2px #c5c4ddbb}button[copy]:after{content:url(/images/copy.svg)}#search-input-autocomplete-list{width:214px;position:absolute;margin-bottom:24px;padding:8px 0;background-color:#fff;border:1px solid #ddd;box-shadow:0 2px 4px rgba(0,0,0,.15);z-index:1}#search-input-autocomplete-list div{width:auto;padding:8px 12px;line-height:16px;cursor:pointer}#search-input-autocomplete-list div:hover{background:#ddd}.autocomplete-active{background:#ddd}.item-text{width:85%}.date{color:#555;font-size:14px}.overlay{position:fixed;top:0;bottom:0;left:0;right:0;background:rgba(0,0,0,.15);transition:opacity 200ms;visibility:hidden;opacity:0}.overlay .cancel{position:absolute;width:100%;height:100%;cursor:pointer}.overlay:target{visibility:visible;opacity:1}.status-ok{background-color:#0f9;padding:8px}.status-skipped{background-color:#ff9;padding:8px}.status-failed{background-color:#d22;padding:8px}iframe{width:100%;height:90vh}.loader{margin:24px 24px 0 0;height:6px;position:relative;display:block;background-color:#2e2d4e;border-radius:4px;overflow:hidden}.loader .animation{background-color:#bbb}.loader .animation:before{content:'';position:absolute;background-color:inherit;top:0;left:0;bottom:0;will-change:left,right;animation:loader 2s linear infinite}.obfuscated{-webkit-user-select:none;-moz-user-select:none;-ms-user-select:none;user-select:none}.rev{unicode-bidi:bidi-override;direction:rtl}@keyframes loader{0%{left:-20%;right:100%}100%{left:100%;right:-20%}}#menu-toggle input,#menu-toggle label{display:none}#menu-toggle>.logo-link,#menu-toggle img[alt=Search]{display:none}#menu-toggle form{display:none}@media screen and (max-width:650px){.content{width:90%;min-width:350px}.search-page>div{display:grid;grid-template-columns:1fr;grid-template-rows:150px auto auto;grid-template-areas:'search' 'sidebar' 'entries'}}@media screen and (min-width:875px){ul.horizontal-list{display:flex;flex-flow:wrap;padding-left:0}ul.horizontal-list li{margin-right:16px}ul.horizontal-list li::before{content:none}}@media screen and (max-width:875px){body{grid-template-columns:1fr;grid-template-areas:'content'}aside{height:80px;width:100vw;overflow-y:visible;z-index:1}header form{display:none}.content{margin-top:80px}.entries>div{display:grid;grid-template-rows:auto auto;grid-template-columns:1fr}.entries nav{margin-left:0}.large-top-margin{margin-top:0}#banner{left:0;width:100vw;height:75px}#banner p{line-height:normal;margin:1rem}#menu-toggle{background:#2e2d4e;display:block;position:relative;top:0;left:0;z-index:1;height:80px;user-select:none;width:100vw}#menu-toggle a{text-decoration:none;transition:color .3s ease}#menu-toggle .logo-link{height:3rem;max-width:50vw;top:1rem;left:0;right:0;margin-left:auto;margin-right:auto}#menu-toggle .logo-link img{padding:0;height:3rem;object-fit:contain}#menu-toggle .logo-link,#menu-toggle input,#menu-toggle label,#menu-toggle a[href="/search"]{display:block;position:absolute;z-index:2}#menu-toggle input,#menu-toggle label,#menu-toggle a[href="/search"]{width:24px;height:24px;top:28px}#menu-toggle input,#menu-toggle label{left:28px;cursor:pointer}#menu-toggle a[href="/search"]{right:28px;filter:invert(1)}#menu-toggle a[href="/search"] img,#menu-toggle label img{width:100%}#menu-toggle input{opacity:0}#menu-toggle input:checked~nav{left:0}#menu-toggle label span{display:none}#menu{box-shadow:0 .5rem 1rem rgba(0,0,0,.15);height:calc(100vh - 80px);position:absolute;top:0;margin-top:80px;box-sizing:border-box;min-width:200px;width:50vw;max-width:350px;min-height:355px;background:#2e2d4e;left:-100%;transition:left .3s ease;overflow-y:scroll}#menu .logo-link{display:none}}
\ No newline at end of file
+@charset "UTF-8";code,pre{font-family:consolas,monospace;background-color:#f2f2f2;color:#303030}button,#search-button:not(.entity_ref),#search-input,a[download]{border:1px solid #777;font-size:1rem;vertical-align:middle;background-color:#fff;color:#000;line-height:0;font-family:open sans,sans-serif}button[copy]:after,a[download]:after{position:relative;top:.12em;left:5px;padding-right:5px}.year,.theories h2{position:sticky;top:0;background-color:#fff;margin:0;padding-bottom:.5rem}@font-face{font-family:open sans;font-display:swap;font-style:normal;font-weight:300;src:local(""),url(/font/open-sans-v18-latin-300.woff2)format("woff2"),url(/font/open-sans-v18-latin-300.woff)format("woff")}@font-face{font-family:open sans;font-display:swap;font-style:normal;font-weight:400;src:local(""),url(/font/open-sans-v18-latin-regular.woff2)format("woff2"),url(/font/open-sans-v18-latin-regular.woff)format("woff")}@font-face{font-family:open sans;font-display:swap;font-style:italic;font-weight:400;src:local(""),url(/font/open-sans-v18-latin-italic.woff2)format("woff2"),url(/font/open-sans-v18-latin-italic.woff)format("woff")}@font-face{font-family:open sans;font-display:swap;font-style:normal;font-weight:700;src:local(""),url(/font/open-sans-v18-latin-700.woff2)format("woff2"),url(/font/open-sans-v18-latin-700.woff)format("woff")}@font-face{font-family:open sans;font-display:swap;font-style:italic;font-weight:700;src:local(""),url(/font/open-sans-v18-latin-700italic.woff2)format("woff2"),url(/font/open-sans-v18-latin-700italic.woff)format("woff")}*::selection{background-color:#2e2d4e;color:#fff}body{color:#000;background:#fff;font-family:open sans,sans-serif;display:grid;grid-template-columns:max(20%,200px)1fr;grid-template-areas:"sidebar content";justify-items:center;margin:0}aside{grid-area:sidebar;background-color:#2e2d4e;width:20vw;margin:0;height:100%;position:fixed;top:0;left:0;min-width:200px;word-break:break-all;overflow-y:auto;color:#fff}aside nav{display:flex;flex-direction:column;justify-content:space-between;height:100vh}aside ul{list-style:none;padding:0}aside li{padding:.5em 2rem}aside li:hover{background-color:#454474}aside .active{background-color:#454474}aside div>a{display:block;text-align:center}aside a:not(.entity_ref).link,aside a:not(.entity_ref):link,aside a:not(.entity_ref):visited{color:#fff}aside a:not(.entity_ref):focus{outline:1px #acabcf solid;outline-offset:3.5px}aside hr{margin:2rem;border:none;border-top:2px solid #777}.logo{width:40%;height:auto;padding:10%;max-width:160px}li{margin:.25em 0}header{border-bottom:2px #555 solid;margin-bottom:20px;padding:.5rem 0}header>div{display:flex;justify-content:space-between;padding:.5rem 0}header form{padding:.5rem 0;float:right}header h1{padding:.5rem 0;margin:0;clear:both;line-height:2.75rem}header #search-input{height:2rem;padding:7px;width:175px}header #search-button{height:2rem;padding:7px;width:2rem}header #search-button:hover{background-color:#ddd}header #search-button:active{background-color:#bbb}header div p{margin:0}.content{grid-area:content;margin:0 auto 2rem;width:min(80%,1100px);min-width:550px}.content div{line-height:1.35em;width:100%}.content div h1{border-bottom:2px #555 solid}.content>div form{margin:2rem auto 0;width:50%;min-width:290px;padding:1rem 0}.content>div #search-button{height:2.5rem;width:25%;min-width:70px;background:#2e2d4e;color:#fff;border:1px #2e2d4e solid}.content>div #search-input{height:2.5rem;width:75%}.content .popup{background:#fff;box-shadow:0 0 8px rgba(0,0,0,.15),0 4px 10px rgba(0,0,0,.15);padding:2.5rem;display:block;width:auto;min-width:300px;max-width:90vw;max-height:75vh;position:fixed;left:50%;top:50%;transform:translate(-50%,-50%);overflow-y:auto}.content .chart{min-width:400px;width:100%;min-height:400px;max-height:50vh;background:#fff;margin:20px auto 40px;border:1px solid #000;position:relative}.content .statsnumber{text-align:right;padding-right:1rem}.content ul{list-style-type:none}.content li{word-wrap:break-word;word-break:break-word}.content dt{font-weight:300;margin-top:.5em}.content ul>li::before{content:"–";position:absolute;margin-left:-1.3em}.entries>div{display:grid;grid-template-columns:3fr 1fr}.entries main{padding-right:2%;max-width:90ch}.entries main div{margin:1rem 0}.entries nav{width:130px;margin-left:auto}.entries nav h4{color:#555;font-weight:400}.theories{grid-template-columns:20% 80%;justify-content:normal}.theories .collapsible.collapsed{display:none}.theories .invertible.collapsed{transform:scale(1,-1)}.theories .collapse-container.collapsed .collapsible{display:none}.theories .collapse-container.collapsed .invertible{transform:scale(1,-1)}.theories .content{min-width:clamp(60ch,50vw,50vw);width:100%;max-width:75vw;margin:0 0 2rem 4vw}.theories pre{width:fit-content}.theories h2{padding-top:.5rem;border-bottom:1px #bbb solid}.theories h2 svg{height:2rem;width:20px;position:sticky;right:1rem;float:right;stroke:#777;transition:transform 100ms}.theories main>div{margin-bottom:1rem}.theories aside{word-break:normal;z-index:1;overflow-x:hidden}.theories aside .logo{padding-top:2rem;padding-bottom:2rem;width:100px}@media screen and (min-width:1800px){.theories aside .logo{width:150px}}.theories aside #return{position:sticky;top:0;background:#2e2d4e;min-width:200px}.theories aside #pdfs{position:fixed;bottom:0;background:#2e2d4e;margin:0;padding:1rem 1.75rem;width:20vw;box-sizing:border-box;cursor:pointer}.theories aside>div{margin-right:1rem}.theories aside:hover{min-width:fit-content}.theories aside:hover div{min-width:fit-content}.theories aside ul{margin-left:1.75rem}.theories aside li{padding:0}.theories aside li:hover{background-color:#2e2d4e}.theories aside li>a:hover{background-color:#454474}.theories aside li a{padding:.5em 0;display:inline-block;width:100%}@media screen and (max-width:875px){.theories{padding:0;grid-template-columns:1fr}.theories aside{overflow-x:visible}.theories #menu{min-width:fit-content;padding-right:1rem}.theories .content{min-width:350px;max-width:100vw;margin:80px 0 0 20px}.theories h2{top:80px;padding-left:.5rem}}.links button{display:inline-block;margin:.5rem 0}.links a{display:inline-block;margin:.5rem 0}.popup-button:not(.entity_ref):visited{color:#fff}.popup-button:not(.entity_ref).link,.popup-button:not(.entity_ref):link{border:none;padding:.75rem 0;background-color:#2e2d4e;color:#fff;cursor:pointer;text-align:center;transition:background-color 200ms ease,transform 150ms ease;font-weight:700;font-size:.9rem;width:130px}.popup-button:not(.entity_ref):active{transform:scale(.98)}a:not(.entity_ref).link,a:not(.entity_ref):link{color:#0645ad;text-decoration:none;font-weight:700}a:not(.entity_ref):visited{color:#42047c}a:not(.entity_ref):hover{color:#00e}h1{margin:1.5em 0 0;font-size:2em;padding-bottom:20px}h1 span.first{font-size:2.3rem}h2{margin:1.5em 0 0;padding:0;line-height:normal}h3{margin:1.5em 0 0;font-stretch:normal;font-size:larger;padding:0;font-weight:300}h3:first-child{margin:.5rem 0 0}h4{margin:1.5em 0 0;margin-bottom:.5ex;font-weight:700}.popup h2{margin-top:0}.popup .close{position:absolute;width:20px;height:20px;top:2rem;right:2rem;transition:all 200ms;font-size:24px;font-weight:700;color:#555;text-align:center}.popup .close:hover{color:#303030}#download-popup a[download]{display:block;width:154px;margin:2.5rem auto 0}.year{padding-top:2rem;border-bottom:2px #555 solid}img{max-width:90%}pre{padding:1rem;overflow:auto}pre.bibtex{white-space:pre;border-width:thin;border-style:solid}pre.code{white-space:pre;padding:10px 2px}code{padding:1px 2px 2px}blockquote{border:2px solid #ddd;padding:1rem 2rem;margin:auto 0}tr:nth-child(even){background-color:#f2f2f2}.nobr{white-space:nowrap}.large-top-margin{margin-top:48px}.search-page>div{display:grid;grid-template-columns:3fr max(25%,175px);grid-template-rows:150px 1fr;grid-template-areas:"search search" "entries sidebar"}.search-page form{grid-area:search}.search-page #search-main{grid-area:entries;padding-right:2rem;box-sizing:border-box}.search-page #search-results>div{position:relative;margin:1.5rem 0;border-bottom:2px #ddd solid;padding-bottom:1.5rem}.search-page #search-results div+div{margin-top:1rem}.search-page #search-results .title,.search-page #search-results .subtitle{display:flex;justify-content:space-between;align-items:center}.search-page #search-results .subtitle{color:#777;font-size:.875em}.search-page #search-results .subtitle>p{margin:0}.search-page #search-results a[download]{padding:5px 7.5px;flex-shrink:0;margin-left:1em}.search-page #search-sidebar{grid-area:sidebar}a[download]{display:inline-block;color:#000;height:22px;padding:4px 7px}a[download]:focus{outline:none;box-shadow:0 0 0 2px #c5c4ddbb}a[download]:hover,a[download]:active{background-color:#bbb;color:#000}a[download]:after{content:url(/images/download.svg)}.entry{display:flex;align-items:center;margin-top:1.35rem}.entry a[download]{position:absolute;top:0;right:0}.entry .date{text-align:right;width:15%;min-width:6ch;font-family:consolas,monospace}.entry h5{font-size:initial;display:initial}.form-container{width:290px;text-align:left}#search-input{border-right:none;font-family:open sans,sans-serif;padding:.5em}#search-button:not(.entity_ref){cursor:pointer}#search-button:not(.entity_ref):focus{outline:none;box-shadow:0 0 0 2px #c5c4ddbb}#search-button:not(.entity_ref) img{max-width:1rem}.entity_def.active{background-color:#acabcf}button{height:2rem;padding:7px;font-weight:700;cursor:pointer}button:hover{background-color:#ddd}button:active{background-color:#bbb}button:focus{outline:none;box-shadow:0 0 0 2px #c5c4ddbb}button[copy]:after{content:url(/images/copy.svg)}#search-input-autocomplete-list{width:214px;position:absolute;margin-bottom:24px;padding:8px 0;background-color:#fff;border:1px solid #ddd;box-shadow:0 2px 4px rgba(0,0,0,.15);z-index:1}#search-input-autocomplete-list div{width:auto;padding:8px 12px;line-height:16px;cursor:pointer}#search-input-autocomplete-list div:hover{background:#ddd}.autocomplete-active{background:#ddd}.item-text{width:85%}.date{color:#555;font-size:14px}.overlay{position:fixed;top:0;bottom:0;left:0;right:0;background:rgba(0,0,0,.15);transition:opacity 200ms;visibility:hidden;opacity:0}.overlay .cancel{position:absolute;width:100%;height:100%;cursor:pointer}.overlay:target{visibility:visible;opacity:1}.status-ok{background-color:#dfd;padding:8px}.status-skipped{background-color:#ff9;padding:8px}.status-failed{background-color:#fdd;padding:8px}iframe{width:100%;height:90vh}.loader{margin:24px 24px 0 0;height:6px;position:relative;display:block;background-color:#2e2d4e;border-radius:4px;overflow:hidden}.loader .animation{background-color:#bbb}.loader .animation:before{content:'';position:absolute;background-color:inherit;top:0;left:0;bottom:0;will-change:left,right;animation:loader 2s linear infinite}.obfuscated{-webkit-user-select:none;-moz-user-select:none;-ms-user-select:none;user-select:none}.rev{unicode-bidi:bidi-override;direction:rtl}@keyframes loader{0%{left:-20%;right:100%}100%{left:100%;right:-20%}}#menu-toggle input,#menu-toggle label{display:none}#menu-toggle>.logo-link,#menu-toggle img[alt=Search]{display:none}#menu-toggle form{display:none}@media screen and (max-width:650px){.content{width:90%;min-width:350px}.search-page>div{display:grid;grid-template-columns:1fr;grid-template-rows:150px auto auto;grid-template-areas:'search' 'sidebar' 'entries'}}@media screen and (min-width:875px){ul.horizontal-list{display:flex;flex-flow:wrap;padding-left:0}ul.horizontal-list li{margin-right:16px}ul.horizontal-list li::before{content:none}}@media screen and (max-width:875px){body{grid-template-columns:1fr;grid-template-areas:'content'}aside{height:80px;width:100vw;overflow-y:visible;z-index:1}header form{display:none}.content{margin-top:80px}.entries>div{display:grid;grid-template-rows:auto auto;grid-template-columns:1fr}.entries nav{margin-left:0}.large-top-margin{margin-top:0}#banner{left:0;width:100vw;height:75px}#banner p{line-height:normal;margin:1rem}#menu-toggle{background:#2e2d4e;display:block;position:relative;top:0;left:0;z-index:1;height:80px;user-select:none;width:100vw}#menu-toggle a{text-decoration:none;transition:color .3s ease}#menu-toggle .logo-link{height:3rem;max-width:50vw;top:1rem;left:0;right:0;margin-left:auto;margin-right:auto}#menu-toggle .logo-link img{padding:0;height:3rem;object-fit:contain}#menu-toggle .logo-link,#menu-toggle input,#menu-toggle label,#menu-toggle a[href="/search"]{display:block;position:absolute;z-index:2}#menu-toggle input,#menu-toggle label,#menu-toggle a[href="/search"]{width:24px;height:24px;top:28px}#menu-toggle input,#menu-toggle label{left:28px;cursor:pointer}#menu-toggle a[href="/search"]{right:28px;filter:invert(1)}#menu-toggle a[href="/search"] img,#menu-toggle label img{width:100%}#menu-toggle input{opacity:0}#menu-toggle input:checked~nav{left:0}#menu-toggle label span{display:none}#menu{box-shadow:0 .5rem 1rem rgba(0,0,0,.15);height:calc(100vh - 80px);position:absolute;top:0;margin-top:80px;box-sizing:border-box;min-width:200px;width:50vw;max-width:350px;min-height:355px;background:#2e2d4e;left:-100%;transition:left .3s ease;overflow-y:scroll}#menu .logo-link{display:none}}
\ No newline at end of file
diff --git a/web/dependencies/index.html b/web/dependencies/index.html
--- a/web/dependencies/index.html
+++ b/web/dependencies/index.html
@@ -1,2133 +1,2133 @@
 <!DOCTYPE html>
 <html lang="en">
 <head>
   <meta charset="utf-8" />
   <meta http-equiv="X-UA-Compatible" content="IE=edge">
   <meta name="viewport" content="width=device-width, initial-scale=1"><title>Archive of Formal Proofs</title><meta name="description" content="A collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle."><meta property="og:title" content="Dependencies" />
 <meta property="og:description" content="A collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle." />
 <meta property="og:type" content="website" />
 <meta property="og:url" content="/dependencies/" /><meta property="og:image" content="/images/afp.png"/><meta property="og:site_name" content="Archive of Formal Proofs" />
 
 <meta name="twitter:card" content="summary_large_image"/>
 <meta name="twitter:image" content="/images/afp.png"/>
 
 <meta name="twitter:title" content="Dependencies"/>
 <meta name="twitter:description" content="A collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle."/>
 
   
   <link rel="stylesheet" type="text/css" href="../css/front.min.css">
 
   <link rel="icon" href="../images/favicon.ico" type="image/icon"><script src="../js/obfuscate.js"></script>
   <script src="../js/flexsearch.bundle.js"></script>
   <script src="../js/scroll-spy.js"></script>
   <script src="../js/theory.js"></script>
   <script src="../js/util.js"></script><script src="../js/header-search.js"></script><script src="../js/search-autocomplete.js"></script>
 </head>
 
 
 <body class='mathjax_ignore '>
   <aside>
     <div id="menu-toggle">
   <input id="toggle" type="checkbox" />
   <label for="toggle">
     <span>menu</span>
     <img src="../images/menu.svg" alt="Menu" />
   </label>
 
   <a href="../" class='logo-link'>
     <img src="../images/afp.png" alt='Logo of the Archive of Formal Proofs' class="logo">
   </a>
 
   <a href="../search"><img src="../images/search.svg" alt="Search" /></a>
   <nav id="menu">
     <div>
       <a href="../" class='logo-link'>
         <img src="../images/afp.png" alt='Logo of the Archive of Formal Proofs' class="logo">
       </a>
       <ul>
         <a href="../"><li >Home</li></a>
         <a href="../topics/"><li >Topics</li></a>
         <a href="../download/"><li >Download</li></a>
         <a href="../help/"><li >Help</li></a>
         <a href="../submission/"><li >Submission</li></a>
         <a href="../statistics/"><li >Statistics</li></a>
         <a href="../about/"><li >About</li></a>
       </ul>
     </div>
   </nav>
 </div>
   </aside>
 
   <div
     class='content '><header>
   <form autocomplete="off" action="../search">
     <div class='form-container'>
       <input id="search-input" type="search" size="31" maxlength="255" value="" aria-label="Search the AFP" list="autocomplete"><button
       id="search-button" type="button"><img src="../images/search.svg" alt="Search" /></button>
       <datalist id="autocomplete">
       </datalist>
     </div>
   </form>
   <h1 >
-    <span class='first'>D</span>ependencies Dependents</h1>
+    <span class='first'>D</span>ependencies</h1>
   <div>
     
     
   </div>
 </header><div><h2 class="head">2022</h2><article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/undirected_graph_theory/">Undirected_Graph_Theory</a></h5> <br></div>
   <span class="date">
     Nov 11
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/random_graph_subgraph_threshold/">Random_Graph_Subgraph_Threshold</a></h5> <br></div>
   <span class="date">
     Nov 11
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/pluennecke_ruzsa_inequality/">Pluennecke_Ruzsa_Inequality</a></h5> <br></div>
   <span class="date">
     Nov 11
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/falling_factorial_sum/">Falling_Factorial_Sum</a></h5> <br></div>
   <span class="date">
     Nov 11
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/card_number_partitions/">Card_Number_Partitions</a></h5> <br></div>
   <span class="date">
     Nov 11
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/randomised_social_choice/">Randomised_Social_Choice</a></h5> <br></div>
   <span class="date">
     Nov 10
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/graph_theory/">Graph_Theory</a></h5> <br></div>
   <span class="date">
     Oct 04
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/girth_chromatic/">Girth_Chromatic</a></h5> <br></div>
   <span class="date">
     Sep 29
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/design_theory/">Design_Theory</a></h5> <br></div>
   <span class="date">
     Sep 29
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/list-index/">List-Index</a></h5> <br></div>
   <span class="date">
     Sep 28
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/deriving/">Deriving</a></h5> <br></div>
   <span class="date">
     Sep 28
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/collections/">Collections</a></h5> <br></div>
   <span class="date">
     Sep 28
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/epistemic_logic/">Epistemic_Logic</a></h5> <br></div>
   <span class="date">
     Sep 23
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/padic_ints/">Padic_Ints</a></h5> <br></div>
   <span class="date">
     Sep 22
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/localization_ring/">Localization_Ring</a></h5> <br></div>
   <span class="date">
     Sep 22
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/number_theoretic_transform/">Number_Theoretic_Transform</a></h5> <br></div>
   <span class="date">
     Sep 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/berlekamp_zassenhaus/">Berlekamp_Zassenhaus</a></h5> <br></div>
   <span class="date">
     Sep 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/jacobson_basic_algebra/">Jacobson_Basic_Algebra</a></h5> <br></div>
   <span class="date">
     Sep 02
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/bernoulli/">Bernoulli</a></h5> <br></div>
   <span class="date">
     Sep 02
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/native_word/">Native_Word</a></h5> <br></div>
   <span class="date">
     Aug 09
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/datatype_order_generator/">Datatype_Order_Generator</a></h5> <br></div>
   <span class="date">
     Aug 09
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/containers/">Containers</a></h5> <br></div>
   <span class="date">
     Aug 09
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/projective_measurements/">Projective_Measurements</a></h5> <br></div>
   <span class="date">
     Jul 18
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/dirichlet_series/">Dirichlet_Series</a></h5> <br></div>
   <span class="date">
     Jun 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/lucas_theorem/">Lucas_Theorem</a></h5> <br></div>
   <span class="date">
     Jun 06
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/digit_expansions/">Digit_Expansions</a></h5> <br></div>
   <span class="date">
     Jun 06
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/regular_tree_relations/">Regular_Tree_Relations</a></h5> <br></div>
   <span class="date">
     Jun 02
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/package_logic/">Package_logic</a></h5> <br></div>
   <span class="date">
     May 30
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/sunflowers/">Sunflowers</a></h5> <br></div>
   <span class="date">
     May 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/stirling_formula/">Stirling_Formula</a></h5> <br></div>
   <span class="date">
     May 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/polynomial_factorization/">Polynomial_Factorization</a></h5> <br></div>
   <span class="date">
     Apr 21
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/groebner_bases/">Groebner_Bases</a></h5> <br></div>
   <span class="date">
     Apr 21
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/benor_kozen_reif/">BenOr_Kozen_Reif</a></h5> <br></div>
   <span class="date">
     Apr 21
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/weighted_path_order/">Weighted_Path_Order</a></h5> <br></div>
   <span class="date">
     Apr 20
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/universal_hash_families/">Universal_Hash_Families</a></h5> <br></div>
   <span class="date">
     Apr 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/prefix_free_code_combinators/">Prefix_Free_Code_Combinators</a></h5> <br></div>
   <span class="date">
     Apr 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/median_method/">Median_Method</a></h5> <br></div>
   <span class="date">
     Apr 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/lp/">Lp</a></h5> <br></div>
   <span class="date">
     Apr 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/interpolation_polynomials_hol_algebra/">Interpolation_Polynomials_HOL_Algebra</a></h5> <br></div>
   <span class="date">
     Apr 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/equivalence_relation_enumeration/">Equivalence_Relation_Enumeration</a></h5> <br></div>
   <span class="date">
     Apr 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/bertrands_postulate/">Bertrands_Postulate</a></h5> <br></div>
   <span class="date">
     Apr 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/abstract_soundness/">Abstract_Soundness</a></h5> <br></div>
   <span class="date">
     Mar 22
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/abstract_completeness/">Abstract_Completeness</a></h5> <br></div>
   <span class="date">
     Mar 22
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/transitive_models/">Transitive_Models</a></h5> <br></div>
   <span class="date">
     Mar 06
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/delta_system_lemma/">Delta_System_Lemma</a></h5> <br></div>
   <span class="date">
     Mar 03
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/finite_fields/">Finite_Fields</a></h5> <br></div>
   <span class="date">
     Feb 20
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/zfc_in_hol/">ZFC_in_HOL</a></h5> <br></div>
   <span class="date">
     Feb 18
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/card_equiv_relations/">Card_Equiv_Relations</a></h5> <br></div>
   <span class="date">
     Feb 04
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/linear_inequalities/">Linear_Inequalities</a></h5> <br></div>
   <span class="date">
     Feb 03
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/fol-fitting/">FOL-Fitting</a></h5> <br></div>
   <span class="date">
     Feb 02
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/fol_seq_calc1/">FOL_Seq_Calc1</a></h5> <br></div>
   <span class="date">
     Jan 31
   </span>
 </article>
 
 
 <h2 class="head">2021</h2><article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/szemeredi_regularity/">Szemeredi_Regularity</a></h5> <br></div>
   <span class="date">
     Dec 28
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/ergodic_theory/">Ergodic_Theory</a></h5> <br></div>
   <span class="date">
     Dec 28
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/mdp-rewards/">MDP-Rewards</a></h5> <br></div>
   <span class="date">
     Dec 16
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/gauss_jordan/">Gauss_Jordan</a></h5> <br></div>
   <span class="date">
     Dec 16
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/knuth_bendix_order/">Knuth_Bendix_Order</a></h5> <br></div>
   <span class="date">
     Dec 15
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/sepref_prereq/">Sepref_Prereq</a></h5> <br></div>
   <span class="date">
     Nov 29
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/robdd/">ROBDD</a></h5> <br></div>
   <span class="date">
     Nov 29
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/jordan_normal_form/">Jordan_Normal_Form</a></h5> <br></div>
   <span class="date">
     Nov 29
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/automatic_refinement/">Automatic_Refinement</a></h5> <br></div>
   <span class="date">
     Nov 23
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/polynomials/">Polynomials</a></h5> <br></div>
   <span class="date">
     Nov 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/hermite_lindemann/">Hermite_Lindemann</a></h5> <br></div>
   <span class="date">
     Nov 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/algebraic_numbers/">Algebraic_Numbers</a></h5> <br></div>
   <span class="date">
     Nov 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/complex_bounded_operators/">Complex_Bounded_Operators</a></h5> <br></div>
   <span class="date">
     Oct 28
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/word_lib/">Word_Lib</a></h5> <br></div>
   <span class="date">
     Oct 13
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/subset_boolean_algebras/">Subset_Boolean_Algebras</a></h5> <br></div>
   <span class="date">
     Oct 12
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/stone_kleene_relation_algebras/">Stone_Kleene_Relation_Algebras</a></h5> <br></div>
   <span class="date">
     Oct 12
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/monobooltranalgebra/">MonoBoolTranAlgebra</a></h5> <br></div>
   <span class="date">
     Oct 12
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/real_impl/">Real_Impl</a></h5> <br></div>
   <span class="date">
     Sep 18
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/banach_steinhaus/">Banach_Steinhaus</a></h5> <br></div>
   <span class="date">
     Sep 18
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/speccheck/">SpecCheck</a></h5> <br></div>
   <span class="date">
     Sep 06
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/intro_dest_elim/">Intro_Dest_Elim</a></h5> <br></div>
   <span class="date">
     Sep 06
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/czh_foundations/">CZH_Foundations</a></h5> <br></div>
   <span class="date">
     Sep 06
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/czh_elementary_categories/">CZH_Elementary_Categories</a></h5> <br></div>
   <span class="date">
     Sep 06
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/conditional_transfer_rule/">Conditional_Transfer_Rule</a></h5> <br></div>
   <span class="date">
     Sep 06
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/conditional_simplification/">Conditional_Simplification</a></h5> <br></div>
   <span class="date">
     Sep 06
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/jinja/">Jinja</a></h5> <br></div>
   <span class="date">
     Sep 05
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/factor_algebraic_polynomial/">Factor_Algebraic_Polynomial</a></h5> <br></div>
   <span class="date">
     Sep 03
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/complex_geometry/">Complex_Geometry</a></h5> <br></div>
   <span class="date">
     Sep 03
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/polynomial_interpolation/">Polynomial_Interpolation</a></h5> <br></div>
   <span class="date">
     Aug 21
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/budan_fourier/">Budan_Fourier</a></h5> <br></div>
   <span class="date">
     Aug 21
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/fresh_identifiers/">Fresh_Identifiers</a></h5> <br></div>
   <span class="date">
     Aug 16
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/bounded_deducibility_security/">Bounded_Deducibility_Security</a></h5> <br></div>
   <span class="date">
     Aug 16
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/bd_security_compositional/">BD_Security_Compositional</a></h5> <br></div>
   <span class="date">
     Aug 16
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/nested_multisets_ordinals/">Nested_Multisets_Ordinals</a></h5> <br></div>
   <span class="date">
     Aug 13
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/card_partitions/">Card_Partitions</a></h5> <br></div>
   <span class="date">
     Aug 13
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/show/">Show</a></h5> <br></div>
   <span class="date">
     Jun 18
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/nominal2/">Nominal2</a></h5> <br></div>
   <span class="date">
     Jun 18
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/szpilrajn/">Szpilrajn</a></h5> <br></div>
   <span class="date">
     May 24
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/combinatorics_words/">Combinatorics_Words</a></h5> <br></div>
   <span class="date">
     May 24
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/jinjadci/">JinjaDCI</a></h5> <br></div>
   <span class="date">
     Apr 30
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/sturm_tarski/">Sturm_Tarski</a></h5> <br></div>
   <span class="date">
     Apr 24
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/parity_game/">Parity_Game</a></h5> <br></div>
   <span class="date">
     Apr 23
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/sigma_commit_crypto/">Sigma_Commit_Crypto</a></h5> <br></div>
   <span class="date">
     Mar 17
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/game_based_crypto/">Game_Based_Crypto</a></h5> <br></div>
   <span class="date">
     Mar 17
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/constructive_cryptography/">Constructive_Cryptography</a></h5> <br></div>
   <span class="date">
     Mar 17
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/smith_normal_form/">Smith_Normal_Form</a></h5> <br></div>
   <span class="date">
     Mar 12
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/lll_basis_reduction/">LLL_Basis_Reduction</a></h5> <br></div>
   <span class="date">
     Mar 12
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/hermite/">Hermite</a></h5> <br></div>
   <span class="date">
     Mar 12
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/qhlprover/">QHLProver</a></h5> <br></div>
   <span class="date">
     Mar 03
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/power_sum_polynomials/">Power_Sum_Polynomials</a></h5> <br></div>
   <span class="date">
     Mar 03
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/pi_transcendental/">Pi_Transcendental</a></h5> <br></div>
   <span class="date">
     Mar 03
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/isabelle_marries_dirac/">Isabelle_Marries_Dirac</a></h5> <br></div>
   <span class="date">
     Mar 03
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/refine_imperative_hol/">Refine_Imperative_HOL</a></h5> <br></div>
   <span class="date">
     Feb 24
   </span>
 </article>
 
 
 <h2 class="head">2020</h2><article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/relational_disjoint_set_forests/">Relational_Disjoint_Set_Forests</a></h5> <br></div>
   <span class="date">
     Dec 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/aggregation_algebras/">Aggregation_Algebras</a></h5> <br></div>
   <span class="date">
     Dec 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/vericomp/">VeriComp</a></h5> <br></div>
   <span class="date">
     Dec 07
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/vectorspace/">VectorSpace</a></h5> <br></div>
   <span class="date">
     Nov 22
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/matrix_tensor/">Matrix_Tensor</a></h5> <br></div>
   <span class="date">
     Nov 22
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/hol-csp/">HOL-CSP</a></h5> <br></div>
   <span class="date">
     Nov 19
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/propositional_proof_systems/">Propositional_Proof_Systems</a></h5> <br></div>
   <span class="date">
     Oct 29
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/certification_monads/">Certification_Monads</a></h5> <br></div>
   <span class="date">
     Oct 29
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/ai_planning_languages_semantics/">AI_Planning_Languages_Semantics</a></h5> <br></div>
   <span class="date">
     Oct 29
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/shadow_sc_dom/">Shadow_SC_DOM</a></h5> <br></div>
   <span class="date">
     Sep 28
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/shadow_dom/">Shadow_DOM</a></h5> <br></div>
   <span class="date">
     Sep 28
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/core_sc_dom/">Core_SC_DOM</a></h5> <br></div>
   <span class="date">
     Sep 28
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/core_dom/">Core_DOM</a></h5> <br></div>
   <span class="date">
     Sep 28
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/syntax_independent_logic/">Syntax_Independent_Logic</a></h5> <br></div>
   <span class="date">
     Sep 16
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/incompleteness/">Incompleteness</a></h5> <br></div>
   <span class="date">
     Sep 16
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/hereditarilyfinite/">HereditarilyFinite</a></h5> <br></div>
   <span class="date">
     Sep 16
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/goedel_incompleteness/">Goedel_Incompleteness</a></h5> <br></div>
   <span class="date">
     Sep 16
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/finfun/">FinFun</a></h5> <br></div>
   <span class="date">
     Sep 07
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/extended_finite_state_machines/">Extended_Finite_State_Machines</a></h5> <br></div>
   <span class="date">
     Sep 07
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/sepref_iicf/">Sepref_IICF</a></h5> <br></div>
   <span class="date">
     Aug 31
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/well_quasi_orders/">Well_Quasi_Orders</a></h5> <br></div>
   <span class="date">
     Aug 25
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/saturation_framework/">Saturation_Framework</a></h5> <br></div>
   <span class="date">
     Aug 25
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/ordered_resolution_prover/">Ordered_Resolution_Prover</a></h5> <br></div>
   <span class="date">
     Aug 25
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/holcf-prelude/">HOLCF-Prelude</a></h5> <br></div>
   <span class="date">
     Aug 25
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/first_order_terms/">First_Order_Terms</a></h5> <br></div>
   <span class="date">
     Aug 25
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/pratt_certificate/">Pratt_Certificate</a></h5> <br></div>
   <span class="date">
     Aug 04
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/nash_williams/">Nash_Williams</a></h5> <br></div>
   <span class="date">
     Aug 03
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/relation_algebra/">Relation_Algebra</a></h5> <br></div>
   <span class="date">
     Jul 13
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/sturm_sequences/">Sturm_Sequences</a></h5> <br></div>
   <span class="date">
     Jun 01
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/perron_frobenius/">Perron_Frobenius</a></h5> <br></div>
   <span class="date">
     May 23
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/matrix/">Matrix</a></h5> <br></div>
   <span class="date">
     May 13
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/prime_number_theorem/">Prime_Number_Theorem</a></h5> <br></div>
   <span class="date">
     May 12
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/prime_distribution_elementary/">Prime_Distribution_Elementary</a></h5> <br></div>
   <span class="date">
     May 12
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/ltl_master_theorem/">LTL_Master_Theorem</a></h5> <br></div>
   <span class="date">
     May 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/ltl/">LTL</a></h5> <br></div>
   <span class="date">
     May 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/symmetric_polynomials/">Symmetric_Polynomials</a></h5> <br></div>
   <span class="date">
     Apr 24
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/hybrid_systems_vcs/">Hybrid_Systems_VCs</a></h5> <br></div>
   <span class="date">
     Apr 19
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/mfotl_monitor/">MFOTL_Monitor</a></h5> <br></div>
   <span class="date">
     Apr 09
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/lambda_free_rpos/">Lambda_Free_RPOs</a></h5> <br></div>
   <span class="date">
     Apr 09
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/ieee_floating_point/">IEEE_Floating_Point</a></h5> <br></div>
   <span class="date">
     Apr 09
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/generic_join/">Generic_Join</a></h5> <br></div>
   <span class="date">
     Apr 09
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/stateful_protocol_composition_and_typing/">Stateful_Protocol_Composition_and_Typing</a></h5> <br></div>
   <span class="date">
     Apr 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/stone_algebras/">Stone_Algebras</a></h5> <br></div>
   <span class="date">
     Jan 31
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/probabilistic_prime_tests/">Probabilistic_Prime_Tests</a></h5> <br></div>
   <span class="date">
     Jan 17
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/pell/">Pell</a></h5> <br></div>
   <span class="date">
     Jan 17
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/root_balanced_tree/">Root_Balanced_Tree</a></h5> <br></div>
   <span class="date">
     Jan 13
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/akra_bazzi/">Akra_Bazzi</a></h5> <br></div>
   <span class="date">
     Jan 13
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/monad_normalisation/">Monad_Normalisation</a></h5> <br></div>
   <span class="date">
     Jan 09
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/monoidalcategory/">MonoidalCategory</a></h5> <br></div>
   <span class="date">
     Jan 06
   </span>
 </article>
 
 
 <h2 class="head">2019</h2><article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/e_transcendental/">E_Transcendental</a></h5> <br></div>
   <span class="date">
     Dec 27
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/hol-ode-numerics/">HOL-ODE-Numerics</a></h5> <br></div>
   <span class="date">
     Dec 18
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/dirichlet_l/">Dirichlet_L</a></h5> <br></div>
   <span class="date">
     Dec 10
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/crypthol/">CryptHOL</a></h5> <br></div>
   <span class="date">
     Oct 07
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/transformer_semantics/">Transformer_Semantics</a></h5> <br></div>
   <span class="date">
     Sep 10
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/ordinary_differential_equations/">Ordinary_Differential_Equations</a></h5> <br></div>
   <span class="date">
     Sep 10
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/kat_and_dra/">KAT_and_DRA</a></h5> <br></div>
   <span class="date">
     Sep 10
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/kad/">KAD</a></h5> <br></div>
   <span class="date">
     Sep 10
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/transition_systems_and_automata/">Transition_Systems_and_Automata</a></h5> <br></div>
   <span class="date">
     Aug 16
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/farkas/">Farkas</a></h5> <br></div>
   <span class="date">
     Aug 06
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/pairing_heap/">Pairing_Heap</a></h5> <br></div>
   <span class="date">
     Jul 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/huffman/">Huffman</a></h5> <br></div>
   <span class="date">
     Jul 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/higher_order_terms/">Higher_Order_Terms</a></h5> <br></div>
   <span class="date">
     Jul 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/dict_construction/">Dict_Construction</a></h5> <br></div>
   <span class="date">
     Jul 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/constructor_funs/">Constructor_Funs</a></h5> <br></div>
   <span class="date">
     Jul 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/cakeml/">CakeML</a></h5> <br></div>
   <span class="date">
     Jul 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/priority_search_trees/">Priority_Search_Trees</a></h5> <br></div>
   <span class="date">
     Jun 25
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/imp2/">IMP2</a></h5> <br></div>
   <span class="date">
     Jun 13
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/median_of_medians_selection/">Median_Of_Medians_Selection</a></h5> <br></div>
   <span class="date">
     May 30
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/deep_learning/">Deep_Learning</a></h5> <br></div>
   <span class="date">
     Mar 24
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/zeta_function/">Zeta_Function</a></h5> <br></div>
   <span class="date">
     Feb 21
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/refine_monadic/">Refine_Monadic</a></h5> <br></div>
   <span class="date">
     Feb 14
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/matroids/">Matroids</a></h5> <br></div>
   <span class="date">
     Feb 14
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/utp-toolkit/">UTP-Toolkit</a></h5> <br></div>
   <span class="date">
     Feb 01
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/optics/">Optics</a></h5> <br></div>
   <span class="date">
     Feb 01
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/simplex/">Simplex</a></h5> <br></div>
   <span class="date">
     Jan 17
   </span>
 </article>
 
 
 <h2 class="head">2018</h2><article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/auto2_hol/">Auto2_HOL</a></h5> <br></div>
   <span class="date">
     Dec 21
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/quantales/">Quantales</a></h5> <br></div>
   <span class="date">
     Dec 11
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/order_lattice_props/">Order_Lattice_Props</a></h5> <br></div>
   <span class="date">
     Dec 11
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/kleene_algebra/">Kleene_Algebra</a></h5> <br></div>
   <span class="date">
     Dec 11
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/open_induction/">Open_Induction</a></h5> <br></div>
   <span class="date">
     Nov 23
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/random_bsts/">Random_BSTs</a></h5> <br></div>
   <span class="date">
     Oct 19
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/recursion-theory-i/">Recursion-Theory-I</a></h5> <br></div>
   <span class="date">
     Aug 14
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/abstract-rewriting/">Abstract-Rewriting</a></h5> <br></div>
   <span class="date">
     Aug 14
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/first_welfare_theorem/">First_Welfare_Theorem</a></h5> <br></div>
   <span class="date">
     Jul 04
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/stuttering_equivalence/">Stuttering_Equivalence</a></h5> <br></div>
   <span class="date">
     Jun 05
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/coinductive/">Coinductive</a></h5> <br></div>
   <span class="date">
     Jun 05
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/monad_memo_dp/">Monad_Memo_DP</a></h5> <br></div>
   <span class="date">
     May 27
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/markov_models/">Markov_Models</a></h5> <br></div>
   <span class="date">
     May 25
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/timed_automata/">Timed_Automata</a></h5> <br></div>
   <span class="date">
     May 24
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/lem/">LEM</a></h5> <br></div>
   <span class="date">
     Mar 12
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/dynamicarchitectures/">DynamicArchitectures</a></h5> <br></div>
   <span class="date">
     Mar 01
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/separation_algebra/">Separation_Algebra</a></h5> <br></div>
   <span class="date">
     Feb 26
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/landau_symbols/">Landau_Symbols</a></h5> <br></div>
   <span class="date">
     Feb 06
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/comparison_sort_lower_bound/">Comparison_Sort_Lower_Bound</a></h5> <br></div>
   <span class="date">
     Feb 06
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/affine_arithmetic/">Affine_Arithmetic</a></h5> <br></div>
   <span class="date">
     Jan 08
   </span>
 </article>
 
 
 <h2 class="head">2017</h2><article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/discrete_summation/">Discrete_Summation</a></h5> <br></div>
   <span class="date">
     Dec 22
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/finitely_generated_abelian_groups/">Finitely_Generated_Abelian_Groups</a></h5> <br></div>
   <span class="date">
     Dec 21
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/crdt/">CRDT</a></h5> <br></div>
   <span class="date">
     Nov 09
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/gabow_scc/">Gabow_SCC</a></h5> <br></div>
   <span class="date">
     Oct 19
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/dfs_framework/">DFS_Framework</a></h5> <br></div>
   <span class="date">
     Oct 19
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/winding_number_eval/">Winding_Number_Eval</a></h5> <br></div>
   <span class="date">
     Oct 17
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/linear_recurrences/">Linear_Recurrences</a></h5> <br></div>
   <span class="date">
     Oct 12
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/euler_maclaurin/">Euler_MacLaurin</a></h5> <br></div>
   <span class="date">
     Oct 12
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/count_complex_roots/">Count_Complex_Roots</a></h5> <br></div>
   <span class="date">
     Oct 12
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/amortized_complexity/">Amortized_Complexity</a></h5> <br></div>
   <span class="date">
     Aug 20
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/triangle/">Triangle</a></h5> <br></div>
   <span class="date">
     Jul 31
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/stone_relation_algebras/">Stone_Relation_Algebras</a></h5> <br></div>
   <span class="date">
     Jul 06
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/program-conflict-analysis/">Program-Conflict-Analysis</a></h5> <br></div>
   <span class="date">
     Jun 01
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/flow_networks/">Flow_Networks</a></h5> <br></div>
   <span class="date">
     Jun 01
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/cava_automata/">CAVA_Automata</a></h5> <br></div>
   <span class="date">
     Jun 01
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/lazy_case/">Lazy_Case</a></h5> <br></div>
   <span class="date">
     May 24
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/probabilistic_while/">Probabilistic_While</a></h5> <br></div>
   <span class="date">
     May 05
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/monomorphic_monad/">Monomorphic_Monad</a></h5> <br></div>
   <span class="date">
     May 05
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/mfmc_countable/">MFMC_Countable</a></h5> <br></div>
   <span class="date">
     May 05
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/applicative_lifting/">Applicative_Lifting</a></h5> <br></div>
   <span class="date">
     May 05
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/category3/">Category3</a></h5> <br></div>
   <span class="date">
     May 04
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/quick_sort_cost/">Quick_Sort_Cost</a></h5> <br></div>
   <span class="date">
     Apr 04
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/regular-sets/">Regular-Sets</a></h5> <br></div>
   <span class="date">
     Mar 15
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/formal_ssa/">Formal_SSA</a></h5> <br></div>
   <span class="date">
     Jan 17
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/upf/">UPF</a></h5> <br></div>
   <span class="date">
     Jan 08
   </span>
 </article>
 
 
 <h2 class="head">2016</h2><article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/card_multisets/">Card_Multisets</a></h5> <br></div>
   <span class="date">
     Dec 29
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/bell_numbers_spivey/">Bell_Numbers_Spivey</a></h5> <br></div>
   <span class="date">
     Dec 29
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/ordinal/">Ordinal</a></h5> <br></div>
   <span class="date">
     Nov 12
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/iptables_semantics/">Iptables_Semantics</a></h5> <br></div>
   <span class="date">
     Oct 21
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/subresultants/">Subresultants</a></h5> <br></div>
   <span class="date">
     Oct 14
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/efficient-mergesort/">Efficient-Mergesort</a></h5> <br></div>
   <span class="date">
     Oct 14
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/routing/">Routing</a></h5> <br></div>
   <span class="date">
     Sep 09
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/iptables_semantics_examples/">Iptables_Semantics_Examples</a></h5> <br></div>
   <span class="date">
     Sep 09
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/simple_firewall/">Simple_Firewall</a></h5> <br></div>
   <span class="date">
     Aug 31
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/ip_addresses/">IP_Addresses</a></h5> <br></div>
   <span class="date">
     Aug 24
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/sepref_basic/">Sepref_Basic</a></h5> <br></div>
   <span class="date">
     Aug 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/separation_logic_imperative_hol/">Separation_Logic_Imperative_HOL</a></h5> <br></div>
   <span class="date">
     Aug 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/dijkstra_shortest_path/">Dijkstra_Shortest_Path</a></h5> <br></div>
   <span class="date">
     Aug 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/collections_examples/">Collections_Examples</a></h5> <br></div>
   <span class="date">
     Aug 08
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/dependent_sifum_type_systems/">Dependent_SIFUM_Type_Systems</a></h5> <br></div>
   <span class="date">
     Jun 28
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/noninterference_sequential_composition/">Noninterference_Sequential_Composition</a></h5> <br></div>
   <span class="date">
     Jun 13
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/rank_nullity_theorem/">Rank_Nullity_Theorem</a></h5> <br></div>
   <span class="date">
     May 20
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/edmondskarp_maxflow/">EdmondsKarp_Maxflow</a></h5> <br></div>
   <span class="date">
     May 09
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/noninterference_ipurge_unwinding/">Noninterference_Ipurge_Unwinding</a></h5> <br></div>
   <span class="date">
     Apr 26
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/boolean_expression_checkers/">Boolean_Expression_Checkers</a></h5> <br></div>
   <span class="date">
     Mar 01
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/slicing/">Slicing</a></h5> <br></div>
   <span class="date">
     Feb 05
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/sqrt_babylonian/">Sqrt_Babylonian</a></h5> <br></div>
   <span class="date">
     Jan 29
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/partial_function_mr/">Partial_Function_MR</a></h5> <br></div>
   <span class="date">
     Jan 29
   </span>
 </article>
 
 
 <h2 class="head">2015</h2><article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/marriage/">Marriage</a></h5> <br></div>
   <span class="date">
     Dec 02
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/transitive-closure/">Transitive-Closure</a></h5> <br></div>
   <span class="date">
     Nov 11
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/simpl/">Simpl</a></h5> <br></div>
   <span class="date">
     Nov 11
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/case_labeling/">Case_Labeling</a></h5> <br></div>
   <span class="date">
     Nov 11
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/kbps/">KBPs</a></h5> <br></div>
   <span class="date">
     Sep 04
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/echelon_form/">Echelon_Form</a></h5> <br></div>
   <span class="date">
     Jul 07
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/noninterference_csp/">Noninterference_CSP</a></h5> <br></div>
   <span class="date">
     Jun 11
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/list_interleaving/">List_Interleaving</a></h5> <br></div>
   <span class="date">
     Jun 11
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/formula_derivatives/">Formula_Derivatives</a></h5> <br></div>
   <span class="date">
     May 28
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/coinductive_languages/">Coinductive_Languages</a></h5> <br></div>
   <span class="date">
     May 28
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/concurrentimp/">ConcurrentIMP</a></h5> <br></div>
   <span class="date">
     Apr 13
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/heard_of/">Heard_Of</a></h5> <br></div>
   <span class="date">
     Mar 18
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/launchbury/">Launchbury</a></h5> <br></div>
   <span class="date">
     Feb 20
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/cayley_hamilton/">Cayley_Hamilton</a></h5> <br></div>
   <span class="date">
     Feb 12
   </span>
 </article>
 
 
 <h2 class="head">2014</h2><article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/awn/">AWN</a></h5> <br></div>
   <span class="date">
     Oct 23
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/secondary_sylow/">Secondary_Sylow</a></h5> <br></div>
   <span class="date">
     Sep 09
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/splay_tree/">Splay_Tree</a></h5> <br></div>
   <span class="date">
     Jul 07
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/skew_heap/">Skew_Heap</a></h5> <br></div>
   <span class="date">
     Jul 07
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/sm_base/">SM_Base</a></h5> <br></div>
   <span class="date">
     May 28
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/sm/">SM</a></h5> <br></div>
   <span class="date">
     May 28
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/promela/">Promela</a></h5> <br></div>
   <span class="date">
     May 28
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/partial_order_reduction/">Partial_Order_Reduction</a></h5> <br></div>
   <span class="date">
     May 28
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/ltl_to_gba/">LTL_to_GBA</a></h5> <br></div>
   <span class="date">
     May 28
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/cava_setup/">CAVA_Setup</a></h5> <br></div>
   <span class="date">
     May 28
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/cava_base/">CAVA_Base</a></h5> <br></div>
   <span class="date">
     May 28
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/strong_security/">Strong_Security</a></h5> <br></div>
   <span class="date">
     Apr 23
   </span>
 </article>
 
 
 <h2 class="head">2013</h2><article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/lehmer/">Lehmer</a></h5> <br></div>
   <span class="date">
     Jul 22
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/trie/">Trie</a></h5> <br></div>
   <span class="date">
     Apr 15
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/finger-trees/">Finger-Trees</a></h5> <br></div>
   <span class="date">
     Apr 15
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/cauchy/">Cauchy</a></h5> <br></div>
   <span class="date">
     Jan 03
   </span>
 </article>
 
 
 <h2 class="head">2012</h2><article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/lorenz_approximation/">Lorenz_Approximation</a></h5> <br></div>
   <span class="date">
     Apr 26
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/gauss-jordan-elim-fun/">Gauss-Jordan-Elim-Fun</a></h5> <br></div>
   <span class="date">
     Jan 03
   </span>
 </article>
 
 
 <h2 class="head">2011</h2><article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/latticeproperties/">LatticeProperties</a></h5> <br></div>
   <span class="date">
     Sep 22
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/nat-interval-logic/">Nat-Interval-Logic</a></h5> <br></div>
   <span class="date">
     Feb 23
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/list-infinite/">List-Infinite</a></h5> <br></div>
   <span class="date">
     Feb 23
   </span>
 </article>
 
 
 <h2 class="head">2010</h2><article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/datarefinementibp/">DataRefinementIBP</a></h5> <br></div>
   <span class="date">
     May 28
   </span>
 </article>
 <article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/hrb-slicing/">HRB-Slicing</a></h5> <br></div>
   <span class="date">
     Mar 23
   </span>
 </article>
 
 
 <h2 class="head">2009</h2><article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/binomial-heaps/">Binomial-Heaps</a></h5> <br></div>
   <span class="date">
     Nov 25
   </span>
 </article>
 
 
 <h2 class="head">2007</h2><article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/group-ring-module/">Group-Ring-Module</a></h5> <br></div>
   <span class="date">
     Aug 08
   </span>
 </article>
 
 
 <h2 class="head">2006</h2><article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/flyspeck-tame/">Flyspeck-Tame</a></h5> <br></div>
   <span class="date">
     May 22
   </span>
 </article>
 
 
 <h2 class="head">2004</h2><article class="entry">
   <div class="item-text">
     <h5><a class="title" href="../dependencies/lazy-lists-ii/">Lazy-Lists-II</a></h5> <br></div>
   <span class="date">
     Apr 26
   </span>
 </article>
 
 
 
 
     </div>
   </div>
 </body>
 
 </html>
\ No newline at end of file