Community reviews
Community reviews for lean-fro.org
No approved reviews for lean-fro.org yet. Be the first to share your experience. See the independent website safety report.
Reviews do not change the independent technical Safety Score.
You need an account and verified email to post. Create a free account.
About lean-fro.org
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
Screenshot not available
See website report โ
Community ratingโ / 5(0 approved reviews)
ModerationActiveSubmissions are checked before publication
Independent assessmentSeparateVisitor opinions never change the Safety Score
Manually moderated
Reviews (0)
Approved reviews only, newest first. Each submission is held for moderation.