News for hackers. Stuff that matters.
Re:Lean 4.0.0, first official lean4 release by ykonstant on Friday September 08, 2023 @07:43AM (#37432280)
The examples were not meant to answer your question, but the question kristopolous set. Ask your question at top level and some of us, perhaps myself, will answer.

There are no comments on this comment yet.