Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
T
thesis-projects
Project
Project
Details
Activity
Releases
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
24
Issues
24
List
Board
Labels
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
KWARC
thesis-projects
Issues
Open
24
Closed
0
All
24
New issue
Recent searches
Press Enter or click to search
{{hint}}
{{tag}}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
Created date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
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
0
updated
Jul 25, 2018
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
polynomial factorization service (with caching)
#15
· opened
Apr 20, 2017
by
Michael Kohlhase
Applications
Frontend
0
updated
Apr 20, 2017
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
Theory Graph Visualization and Interaction Front-End
#8
· opened
Feb 02, 2017
by
Michael Kohlhase
Applications
Frontend
taken
1
updated
Jul 31, 2017
Finding and Presenting Alignments in Math Libraries
#7
· opened
Feb 02, 2017
by
Michael Kohlhase
Applications
Frontend
OMDoc/MMT
0
updated
Jul 31, 2017
Semantics extraction for assistive tools for scientists with disabilities (Bachelor or Master)
#6
· opened
Feb 01, 2017
by
Michael Kohlhase
Applications
Frontend
0
updated
Jul 31, 2017
Metalogical formalization of Dynamic Logics
#5
· opened
Nov 17, 2016
by
Michael Kohlhase
Foundations
OMDoc/MMT
0
updated
Jul 31, 2017
Prev
1
2
Next
