Compare revisions

639e18a4 · 639e18a4 · 639e18a4 · 639e18a4 · 639e18a4 · 639e18a4
--- a/public/leibniz_logo.svg
+++ b/public/leibniz_logo.svg
--- a/public/material-icons/LICENSE
+++ b/public/material-icons/LICENSE
--- a/public/material-icons/flUhRq6tzZclQEJ-Vdg-IuiaDsNc.woff2
+++ b/public/material-icons/flUhRq6tzZclQEJ-Vdg-IuiaDsNc.woff2
--- a/public/material-icons/font.css
+++ b/public/material-icons/font.css
--- a/public/mathHubLogo.png
+++ b/public/mathHubLogo.png
--- a/public/mmt_logo.svg
+++ b/public/mmt_logo.svg
--- a/public/odk_logo.png
+++ b/public/odk_logo.png
--- a/public/omdoc_logo.png
+++ b/public/omdoc_logo.png
--- a/public/orcid.png
+++ b/public/orcid.png
--- a/public/proposal_jbetzendahl.pdf
+++ b/public/proposal_jbetzendahl.pdf
--- a/public/pubs.jpg
+++ b/public/pubs.jpg
--- a/public/researchgate.jpg
+++ b/public/researchgate.jpg
--- a/public/www.jpg
+++ b/public/www.jpg
--- a/public/zbmath.png
+++ b/public/zbmath.png
--- a/research/formal-methods.md
+++ b/research/formal-methods.md
--- a/research/index.md
+++ b/research/index.md
--- a/research/kminteract.md
+++ b/research/kminteract.md
--- a/research/overview.md
+++ b/research/overview.md
--- a/research/semantization.md
+++ b/research/semantization.md
--- a/research/structural-semantics.md
+++ b/research/structural-semantics.md
No results found