Add a section for verification features

Open
#1 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty
4/5
Estimated time
3-5 days
Newbie friendliness
45/100
Issue type
Documentation
Clarity
Needs clarification
Activity status
Quiet
Tech stack
java
Domain
documentation

Research direction

No files, tests, or entry points are named. Start by reviewing the existing documentation and locating the verification explanations for method invocation, if statements, and recursion; done means adding a coherent section that explains how verification works for each listed feature.

Written by the indexing model from the issue text.

Description

It would be cool to have a section on verification features, explaining how the verification works for different features like method invocation, if stetatements, recursion, etc

Dominant language
SCSS
Stars
0
Forks
0
No merged PRs in 30d

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Similar issues

More Documentation issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.