Toggle navigation
JUPYTER
FAQ
View on GitHub
Execute on Binder
v0.1.5.2
branch
debug/web-construction-zipper/localFmap-zoomout
devel/KDE
devel/atlasbased-affine
devel/core-package
devel/generic-instances
devel/interioragnostic
devel/web-construction-zipper
feature/LieGroups
feature/coordinate-lenses
feature/tangentbundle-rotation
idea/trueaffine-category
master
migrate/hmatrix_to_linearmap-category
presentation/ICFP
refactor/boundaryless-hierarchy
temporary-commits/devel/core-package/2016-12-07_13-09-04
temporary-commits/devel/core-package/2016-12-07_18-54-39
temporary-commits/devel/interioragnostic/2016-12-05_16-30-36
temporary-commits/devel/web-construction-zipper/2017-04-23_01-50-01
temporary-commits/master/2016-10-17_16-17-00
temporary-commits/master/2016-10-18_02-21-29
temporary-commits/master/2023-05-12_19-29-39
tag
v0.6.1.0
v0.6.0.0
v0.5.0.4
v0.5.0.3
v0.5.0.2
v0.5.0.1
v0.4.5.0
v0.4.4.0
v0.4.1.0
v0.4.0.0
v0.3.0.0
v0.2.3.0
v0.2.2.0
v0.2.0.1
v0.1.6.3
v0.1.6.2
v0.1.5.2
v0.1.5.1
manifolds
manifolds
proof
Name
..
elemfuns-lindevs