Showing
- public/images/sdumbrava.jpeg 0 additions, 0 deletionspublic/images/sdumbrava.jpeg
- public/images/tpollinger.jpg 0 additions, 0 deletionspublic/images/tpollinger.jpg
- public/images/urabenstein.jpg 0 additions, 0 deletionspublic/images/urabenstein.jpg
- public/images/vzholudev.jpeg 0 additions, 0 deletionspublic/images/vzholudev.jpeg
- public/kwarc_logo.svg 21 additions, 8 deletionspublic/kwarc_logo.svg
- public/leibniz_logo.svg 8659 additions, 0 deletionspublic/leibniz_logo.svg
- public/material-icons/LICENSE 202 additions, 0 deletionspublic/material-icons/LICENSE
- public/material-icons/flUhRq6tzZclQEJ-Vdg-IuiaDsNc.woff2 0 additions, 0 deletionspublic/material-icons/flUhRq6tzZclQEJ-Vdg-IuiaDsNc.woff2
- public/material-icons/font.css 24 additions, 0 deletionspublic/material-icons/font.css
- public/mathHubLogo.png 0 additions, 0 deletionspublic/mathHubLogo.png
- public/mmt_logo.svg 65 additions, 0 deletionspublic/mmt_logo.svg
- public/odk_logo.png 0 additions, 0 deletionspublic/odk_logo.png
- public/omdoc_logo.png 0 additions, 0 deletionspublic/omdoc_logo.png
- public/orcid.png 0 additions, 0 deletionspublic/orcid.png
- public/proposal_jbetzendahl.pdf 0 additions, 0 deletionspublic/proposal_jbetzendahl.pdf
- public/pubs.jpg 0 additions, 0 deletionspublic/pubs.jpg
- public/researchgate.jpg 0 additions, 0 deletionspublic/researchgate.jpg
- public/www.jpg 0 additions, 0 deletionspublic/www.jpg
- public/zbmath.png 0 additions, 0 deletionspublic/zbmath.png
- research/formal-methods.md 11 additions, 4 deletionsresearch/formal-methods.md
public/images/sdumbrava.jpeg
0 → 100644
This diff is collapsed.
public/images/tpollinger.jpg
0 → 100755
This diff is collapsed.
public/images/urabenstein.jpg
0 → 100644
This diff is collapsed.
public/images/vzholudev.jpeg
0 → 100644
This diff is collapsed.
This diff is collapsed.
public/leibniz_logo.svg
0 → 100644
This diff is collapsed.
public/material-icons/LICENSE
0 → 100644
This diff is collapsed.
This diff is collapsed.
public/material-icons/font.css
0 → 100644
This diff is collapsed.
public/mathHubLogo.png
0 → 100644
This diff is collapsed.
public/mmt_logo.svg
0 → 100644
This diff is collapsed.
public/odk_logo.png
0 → 100644
This diff is collapsed.
public/omdoc_logo.png
0 → 100644
This diff is collapsed.
public/orcid.png
0 → 100644
This diff is collapsed.
public/proposal_jbetzendahl.pdf
0 → 100644
This diff is collapsed.
public/pubs.jpg
0 → 100644
This diff is collapsed.
public/researchgate.jpg
0 → 100644
This diff is collapsed.
public/www.jpg
0 → 100644
This diff is collapsed.
public/zbmath.png
0 → 100644
This diff is collapsed.
This diff is collapsed.