Forked from
KWARC / kwarc.info / www
1042 commits behind the upstream repository.
-
Michael Kohlhase authoredMichael Kohlhase authored
index.md 772 B
layout: default
title: Projects
permalink: /projects/
{% assign projects = site.pages | where: "layout", "project" | where: "active", true | sort: "start_date" %}
completed projects).
Projects with current, external funding (-
{% for item in projects %}
{% if item.funding %} {% include psitem.html %} {% endif %}
{% endfor %}
Internal Projects
We also organize some of our research and development into Projects,
-
{% for item in projects %}
{% unless item.funding %} {% include psitem.html %} {% endunless %}
{% endfor %}
System Projects
Projects that are focused on building particular systems can be found under KWARC Systems.