I looked at the Falso page, they now have a list of available implementations, which has already been updated now to include Coq! Meanwhile, my three year old is now looking over my shoulder asking "What's so funny, dad? What's so funny?" and I have to admit... I have no idea how to answer that.
news.ycombinator.com/item?id=9260029Posted Jul 3, 2022, 11:38 AM UTC
225
Can 3 year olds count? I mean I think they can but do they know they're counting? Can they do math?
On the other hand, this could result in a very unhappy 3 year old... Hey let's just play with building blocks and you can give me some tea in your kitchen set
If your child hasn't written a proof assistant by age three they are defective and/or you are a terrible parent and you should go to HN to get advice from 10x self-appointed experts.