Added new Scrolls and new Theories
Compare changes
Files
22- ki7077 authored
Added commetns to show which facts are required and which facts are aquired.
No preview for this file type
Added a Theory for circles, cones, triangles and 2D points. Also added a scroll to calculate circles, the area of circles, the angle between a circle and a line, to transform a circle line angle to a normal angle, the volume of a cone, the volume of a truncated cone and the volume of a cylinder
Added commetns to show which facts are required and which facts are aquired.