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.
[ Parent
| on HN ]
There are no comments on this comment yet.