scathach, 5 months ago I think it's high time I learn coq Would be awesome to automate my homework
I think it's high time I learn coq
Would be awesome to automate my homework
nyoom, 5 months ago @scathach everyone on fedi seems to like Lean more (I haven't used either)
@scathach everyone on fedi seems to like Lean more
(I haven't used either)
scathach, 5 months ago @nyoom Codeine cough syrup?
@nyoom Codeine cough syrup?
nyoom, 5 months ago @scathach https://lean-lang.org/ tiskaan likes it as he said and iirc @ai does too
@scathach https://lean-lang.org/
tiskaan likes it as he said and iirc @ai does too
ai, 5 months ago @nyoom @scathach Yes, my experience with Lean is limited to working through an older version of https://adam.math.hhu.de/#/g/leanprover-community/nng4 , but I was very impressed with it. I have no experience with Coq however
@nyoom @scathach Yes, my experience with Lean is limited to working through an older version of https://adam.math.hhu.de/#/g/leanprover-community/nng4 , but I was very impressed with it. I have no experience with Coq however
RustyCrab, 5 months ago @ai @nyoom @scathach >lean and coq Mathematicians have wild weekends huh
@ai @nyoom @scathach >lean and coq Mathematicians have wild weekends huh
ai, 5 months ago @RustyCrab @nyoom @scathach I'm sitting here wondering if "coq" is pronounced more like coke or more like cock, but either way you are correct
@RustyCrab @nyoom @scathach I'm sitting here wondering if "coq" is pronounced more like coke or more like cock, but either way you are correct
Add comment