Skip to content

Resolve "[doc] mention package soundness in features"

Loïc Correnson requested to merge 41-doc-mention-package-soundness-in-features into master

Closes #41 (closed)

Also mentions proof server.

Edited by Loïc Correnson

Merge request reports