LeanFun RevOLVER

1 Reference foundations

Technical conventions and special functions, available independently of the reading paths.