Summary
The gemaraproj tutorials are currently out-of-date on the website. Users can still complete the tutorials, but should be looking at the latest version.
Expected Result
The gemaraproj tutorials should be updated to match the schemas in the latest release
Summary
The gemaraproj tutorials are currently out-of-date on the website. Users can still complete the tutorials, but should be looking at the latest version.
Expected Result
The gemaraproj tutorials should be updated to match the schemas in the latest release