x-heep/x-heep

Move VerifHeep documentation to code

Open

#665 opened on Mar 4, 2025

 (0 comments) (0 reactions) (0 assignees)C (140 forks)auto 404
documentationgood first issuehelp wanted

Repository metrics

Stars
 (285 stars)
PR merge metrics
 (PR metrics pending)

Description

The documentation of VerifHeep is fully in the docs. However, most of it is related to the specifics of the code, so it would be better to keep it as comments in the code instead and only leave in the docs the high-level overview.

Contributor guide