Issues · KWARC / thesis-projects · GitLab

Build an integrated SPARQL index/endpoint for MathHub

#28 · opened Mar 20, 2020 by Michael Kohlhase System
- 0
updated Mar 20, 2020
OEIS importer and extension for MathDataHub

#27 · opened Mar 20, 2020 by Michael Kohlhase
- 0
updated Mar 20, 2020
More MathWebSearch Instances

#26 · opened Mar 20, 2020 by Michael Kohlhase Applications
- 0
updated Mar 20, 2020
Intellij support for MMT-jupyter-notebooks

#25 · opened Jan 03, 2020 by Dennis Müller Frontend OMDoc/MMT
- 0
updated Jan 03, 2020
Identifying Mathematical Objects up to Canonical Isomorphpism

#24 · opened Jun 03, 2019 by Florian Rabe
- 0
updated Jun 04, 2019
Formalization of legal content

#23 · opened May 02, 2019 by Max Rapp
- 0
updated May 02, 2019
Formalize Haskell Type Classes as a Theory Graph

#22 · opened Mar 21, 2019 by Florian Rabe
- 0
updated Mar 21, 2019
Data Dimension for MathHub.info

#21 · opened Jul 25, 2018 by Michael Kohlhase Applications Frontend
- 0
updated Jul 25, 2018
Representing Relational Databases in a Logical Framework

#20 · opened Jul 06, 2018 by Florian Rabe Applications Foundations OMDoc/MMT
- 1
updated Oct 08, 2019
MMT as a parser framework for Scala APIs

#19 · opened Jul 02, 2018 by Florian Rabe Applications OMDoc/MMT
- 0
updated Jul 02, 2018
Integrate Kwarc tools with GitLab

#18 · opened May 17, 2018 by Florian Rabe Frontend
- 0
updated May 17, 2018
applications of viewfinding

#17 · opened May 15, 2018 by Michael Kohlhase Applications Frontend
- 0
updated May 15, 2018
implementing Realms as an MMT structural feature

#16 · opened Feb 07, 2018 by Michael Kohlhase Foundations Frontend OMDoc/MMT
- 0
updated Feb 07, 2018
program persistence layer in MathDataHub

#15 · opened Apr 20, 2017 by Michael Kohlhase Applications Frontend
- 0
updated Mar 20, 2020
semantics extractions based on machine learning

#14 · opened Apr 13, 2017 by Michael Kohlhase Applications Machine Learning
- 0
updated Apr 13, 2017
Implement Lenses/States for MathHub

#13 · opened Apr 13, 2017 by Michael Kohlhase Applications Frontend
- 0
updated Nov 24, 2018
Theory Graph Minimization

#12 · opened Feb 13, 2017 by Michael Kohlhase Frontend OMDoc/MMT
- 0
updated Jul 31, 2017
Theory Exploration

#11 · opened Feb 11, 2017 by Florian Rabe OMDoc/MMT
- 4
updated Jul 06, 2018
Interactive Examples

#10 · opened Feb 11, 2017 by Florian Rabe OMDoc/MMT
- 0
updated Jul 31, 2017
Active Course notes

#9 · opened Feb 02, 2017 by Michael Kohlhase Applications Frontend OMDoc/MMT
- 1
updated Jul 31, 2017