mirtitles/tarasov-calculus GitLab repository with 9 stars and 7 forks. Language: TeX Open provider repository