Home

This is a repository for the project "Environment for structured mathematical proofs"

1st iteration

• Project plan and vision
• Requirements
  • Use Cases
  • Use Case Diagram
• Initial Time Estimates

2nd iteration

• Updated requirements
• 11 Use Cases have been created for the current 14 Functional Requirements which is 78.6%. Links to mockups have been added to all available use cases.
• Release notes

3rd iteration

• Release notes
• Use cases 11 - 14 were created for the functional requirements that did not have them before. Use cases.
• Automated testing environment was set up, there is currently only one test that checks the rendering of a theorem. More tests will be added during iteration 4.

4th iteration

• Release notes
• Peer review
• Peer review response
• Final use cases with the corrected usage of 'the system enables'.
• Comparison with a similar software
• Non-functional requirements verification
• Internal acceptance tests