Skip to content
GitLab
Explore
Sign in
Jannes Bantje
differential-operators
Merge requests
!2
Resolve "Differential operators via Jet-Bundles"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Jannes Bantje
requested to merge
6-diffops-coordinate-free
into
master
May 19, 2020
Overview
0
Commits
5
Pipelines
6
Changes
1
Expand
Closes
#6 (closed)
Edited
May 19, 2020
by
Jannes Bantje
Merge request reports