Documentation of the LeanXcam
This is the documentation for the leanXcam
see https://github.com/scs/leanXcam/wiki