3 Commits

Author SHA1 Message Date
Laurenz
25b5bd1175 Fully untyped model 2023-03-07 15:17:13 +01:00
Laurenz
6ab7760822 Split up model module 2023-03-01 16:33:28 +01:00
Laurenz
10675cd6d5 Merge text and math symbols 2023-02-02 19:50:06 +01:00