wr
hn
Top
New
Best
Ask
Show
Jobs
Back
Comment
Comment by Miltnoid
No way is Lean more evolved than Coq.
parent
Miltnoid
7 years ago
Discussion
