Skip to content
GitLab
Explore
Sign in
Partially resolve "Pretty printing of terms"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Partially resolve "Pretty printing of terms"
v-ducros
requested to merge
55-better-pretty-printing-of-terms
into
main
Dec 28, 2022
Overview
12
Commits
17
Pipelines
27
Changes
4
Merge request reports
Loading